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