TY  - GEN
AU  - Nagel,Ernest
TI  - Godel's proof
U1  - 164 
PY  - 1958///
CY  - London
PB  - Routledge and Kegan Paul
KW  - Gd̲el's theorem
KW  - Metamathematics
ER  -