Find a copy in the library
Finding libraries that hold this item...
|All Authors / Contributors:||
Alan Mathison Turing; Andrew W Appel; Solomon Feferman
|Description:||xv, 142 pages : portraits ; 26 cm|
|Contents:||The birth of computer science at Princeton in the 1930s / Andrew W. Appel --
Turing's thesis / Solomon Feferman --
Notes on the manuscript --
Systems of logic based on ordinals / Alan Turing.
|Other Titles:||Turing's 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