TY  - BOOK
AU  - ERNEST NAGEL
TI  - GODEL'S PROOF
U1  - 511.3/NAG/GOD 
PY  - 1960///
CY  - NEW YORK
PB  - NEW YORK UNIVERSITY PRESS
KW  - MATHEMATICS
KW  - PRINCIPLES OF MATHEMATICS
ER  -