TY  - BOOK
AU  - Ernest Nagel
AU  - James R Newman
TI  - Godel's proof
SN  - 0415355281 
U1  - 511.3 
PY  - 2005///
CY  - London
PB  - Routledge
KW  - Godel's Theorem
KW  - Mathematics
KW  - Symbolic Logic
KW  - Logic
KW  - Science
N1  - Originally published: 1958
ER  -