TY  - BOOK
AU  - Appel Andrew W
TI  - Alan turing's systems of logic : The princeton thesis
SN  - 9780691155746 (hbk)
U1  - B:(R1), Q2 
PY  - 2012///
CY  - Princeton
PB  - Princeton University Press USA     
KW  - MATHEMATICS
ER  -