000 00284nam a22001337a 4500
020 _a9780415355285
082 _a511.3 NAG/G
100 _aErnest Nagel ; James R. Newman
245 _aGodel's Proof
260 _bROUTLEDGE
_c2011
300 _a94p
700 _aNewman
942 _cBK
999 _c76513
_d76513