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