TY - BOOK AU - Nagel,Ernest AU - Newman,James R. TI - Godel's proof U1 - 164 PY - 1959/// CY - London PB - Routledge and Kegan Paul KW - Godel's theorem ER -