000 00604nam a2200193Ia 4500
919 _a203732
020 _a9780814758168
_c
082 _a511.3
_bNAG/G
100 _aNagel, Ernest
_d
245 _aGödel's proof,
_b
_cby Ernest Nagel and James R. Newman
260 _aNew York
_bNew York University Press
_c2001
300 _axxiii, 129 p. : ill. ; 21 cm.
500 _aPrint version Nagel, Ernest, 1901- Gödel's proof. Rev. ed. New York : New York University Press
650 _aGödel's theorem
650 _aMetamathematics
650 _aLogic, Symbolic and mathematical
650 _aMathematics--Philosophy
999 _c203096
_d203096