TY  - GEN
AU  - Turing,Alan Mathison
AU  - Appel,Andrew W
AU  - Feferman,Solomon
TI  - Alan Turing's systems of logic: the Princeton thesis
SN  - 9780691155746 (hbk.)
U1  - 511.3 
PY  - 2012///
CY  - Princeton, N.J, Woodstock, England
PB  - Princeton University Press
KW  - Turing, Alan Mathison
KW  - Logic, Symbolic and mathematical
N1  - Contine bibliogr
ER  -