TY  - BOOK
T1  - Gödel's proof,
DA  - 1958.
CY  - [New York]
AU  - Nagel, Ernest,
AU  - Newman, James R.
CN  - QA9 .N3
CN  - QA9
PB  - New York University Press,
PP  - [New York]
PY  - 1958.
ID  - 58447
KW  - Gödel's theorem.
TI  - Gödel's proof,
ER  -