TY  - BOOK
AU  - Nagel, Ernest
TI  - Gödel's proof,
SN  - 9780814758168
U1  - 511.3 
PY  - 2001///
CY  - New York
PB  - New York University Press
KW  - Gödel's theorem
KW  - Metamathematics
KW  - Logic, Symbolic and mathematical
KW  - Mathematics--Philosophy
N1  - Print version Nagel, Ernest, 1901- Gödel's proof. Rev. ed. New York : New York University Press
ER  -