TY  - BOOK
AU  - Nagel,Ernest
AU  - Newman,James Roy
TI  - Gödel's proof,
AV  - QA9 .N3
U1  - 510.1 
PY  - 1958///
CY  - [New York]
PB  - New York University Press
KW  - Gödel's theorem
ER  -