Alan Turing's Systems of Logic: The Princeton Thesis

Between inventing the concept of a universal computer in 1936 and breaking the German Enigma code during World War II, Alan Turing (1912-1954), the British founder of computer science and artificial intelligence, came to Princeton University to study mathematical logic. Some of the greatest logicians in the world--including Alonzo Church, Kurt Gode

• | By (Author): Andrew W. Appel (Edited by)
• | Publisher: Princeton University Press
• | Publication Date: Nov 16, 2014
• | Country of Publication: United States
• | Number of Pages: 160 pages
• | Language: NULL
• | Binding: Paperback / softback
• | ISBN-10: 0691164738
• | ISBN-13: 9780691164731