TY  - BOOK
AU  - Appel, Andrew W.
TI  - Alan's turing systems of logic: the princeton thesis 
SN  - 9780691164731 (paperback)
AV  - QA9.2  ALA
PY  - 2012///
KW  - Science
KW  - Mathematics
N1  - Includes bibliographical references
ER  -