Return to Issue Details From mathematical logic to programming languages artificial intelligence Download Download PDF