Pages that link to "Item:Q2763548"

The following pages link to Collected works of A. M. Turing. Mathematical logic. Edited by R. O. Gandy and C. E. M. Yates. Including prefaces by Solomon Feferman (Q2763548):

Displaying 10 items.

• Extending and interpreting Post's programme (Q636317) (← links)
• Emergence as a computability-theoretic phenomenon (Q1036528) (← links)
• Multidisciplinary Trends in Modern Artificial Intelligence: Turing’s Way (Q2866115) (← links)
• The annotated Turing. A guided tour through Alan Turing's historic paper on computability and the Turing machine (Q2889269) (← links)
• (Q4023938) (← links)
• Conceptual Confluence in 1936: Post and Turing (Q4637215) (← links)
• Semantics-to-Syntax Analyses of Algorithms (Q4637221) (← links)
• The collected works of Alonzo Church. Edited by Tyler Burge and Herbert B. Enderton (Q5107109) (← links)
• The Developments of the Concept of Machine Computability from 1936 to the 1960s (Q5250213) (← links)
• After 1952: the later development of Alan Turing's ideas on the mathematics of pattern formation (Q5962965) (← links)