Search MAA Reviews:
Alan Turing's Systems of Logic: The Princeton Thesis
Andrew W. Appel, editor
Publisher: Princeton University Press (2012)
Details: 128 pages, Hardcover
Topics: Classic Works, Logic
MAA Review[Reviewed by Fernando Q. Gouvêa, on 10/02/2012]
This well produced facsimile edition of Alan Turing's Princeton thesis with notes by Solomon Fefferman will be of interest mainly to historians of logic and computer science.