TY  - BOOK
AU  - Nagel Ernest
AU  -  Newman james R
TI  - Godel's proof
U1  - R14, J91 
PY  - 1959///
ER  -