TY - BOOK AU - Nagel, E. & Newman, J.R. TI - Godels Proof SN - 0814758169 U1 - 511.3 PY - 2001/// PB - New York Institute of Technology KW - MATH ER -