TY  - BOOK
AU  - Nagel, Ernest
AU  - Newman, James R.
TI  - Godel's proof
PY  - 1964///
ER  -