TY  - BOOK
AU  - NAGEL AND NEWMAN
TI  - GODELS PROOF
PY  - 1958///
PB  - RPUTLEDGE
ER  -