Alan Turing's systems of logic : the Princeton thesis /
Turing, Alan, 1912-1954,
Alan Turing's systems of logic : the Princeton thesis / edited and introduced by Andrew W. Appel. - xv, 142 p.; portraits, facsimiles.
Includes bibliographical references.
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.
Presented here in its original form, this fascinating thesis is one of the key documents in the history of mathematics and computer science.
9781400843213
Logic, Symbolic and mathematical.
Electronic books.
QA9 / .T875 2014
Alan Turing's systems of logic : the Princeton thesis / edited and introduced by Andrew W. Appel. - xv, 142 p.; portraits, facsimiles.
Includes bibliographical references.
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.
Presented here in its original form, this fascinating thesis is one of the key documents in the history of mathematics and computer science.
9781400843213
Logic, Symbolic and mathematical.
Electronic books.
QA9 / .T875 2014