TY  - BOOK
AU  - Turing,Alan
AU  - Appel,Andrew W.
TI  - Alan Turing's systems of logic: the Princeton thesis 
SN  - 9781400843213
AV  - QA9 .T875 2014
PY  - 2014///
CY  - Princeton, New Jersey
PB  - Princeton University Press
KW  - Logic, Symbolic and mathematical
KW  - Electronic books
N1  - 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
N2  - Presented here in its original form, this fascinating thesis is one of the key documents in the history of mathematics and computer science
UR  - https://unco.idm.oclc.org/login?url=https://www.jstor.org/stable/10.2307/j.ctv1vbd2dr
ER  -