Find a copy in the library
Finding libraries that hold this item...
|Named Person:||Alan Mathison Turing; Alan Mathison Turing; Alan Mathison Turing|
|All Authors / Contributors:||
Alan Mathison Turing; Andrew W Appel; Solomon Feferman
|Description:||xv, 142 p. : ill., facsm. ; 26 cm.|
|Contents:||The birth of computer science at Princeton in the 1930s --
Turing's thesis --
Notes on the manuscript --
Systems of logic based on ordinals.
|Other Titles:||Systems of logic based on ordinals.
Birth of computer science at Princeton in the 1930s.
Systems of logic
|Responsibility:||edited and introduced by Andrew W. Appel.|
"This book presents the story of Turing's work at Princeton University and includes a facsimile of his doctoral dissertation, 'Systems of Logic Based on Ordinals,' which he completed in 1936. The