TY  - BOOK
AU  - Smith, Peter
TI  - An Introduction to Godel's theorems
T2  - Cambridge introduction to philosophy
U1  - 511.3/SMI 
PY  - 2007///
CY  - Cambridge
PB  - Cambridge Uni Pr
KW  - Logic, Symbolic and mathematical
KW  - Godel, Kurt
KW  - Mathematics
ER  -