You are here

Alan Turing's Systems of Logic: The Princeton Thesis

Andrew W. Appel, editor
Publisher: 
Princeton University Press
Publication Date: 
2012
Number of Pages: 
128
Format: 
Hardcover
Price: 
24.95
ISBN: 
9780691155746
Category: 
Monograph
[Reviewed by
Fernando Q. Gouvêa
, on
10/2/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.