LEADER 00000 a2200313 a 4500
001 15639617
003 OCoLC
008 080512s2008 nyua b 001 0 eng c
020 9780814758373 (pbk.)
020 0814758371
040 COO|cCOO
049 |lkt
050 4 QA9.65|b.N34 2008
100 1 Nagel, Ernest,|d1901-
245 10 G©·odel's proof /|cby Ernest Nagel and James R. Newman .
250 Rev. ed. /|bedited with a new foreword by Douglas R.
Hofstadter.
260 New York :|bNew York University Press,|c[2008], c2001.
300 xxiii, 129 p. :|bill. ;|c21 cm.
500 Reprint of the 2001 rev. ed. as "50th anniversary ed."--P.
4 of cover.
504 Includes bibliographical references (p. 125) and index.
650 0 G©·odel's theorem.
650 0 Metamathematics.
650 0 Logic, Symbolic and mathematical.
700 1 Newman, James Roy,|d1907-1966.
700 1 Hofstadter, Douglas R.,|d1945-
907 .b15639617|b10-06-15|c12-13-11
945 QA9.65|b.N34 2008|g0|i37522005482773|j0|on|p0.00|q-|r-|s-
|t0|u2|v0|w0|x0|y.i14761099|z09-26-11|llsf
945 QA9.65|b.N34 2008|g0|i37522005500541|j0|on|p0.00|q-|r-|s-
|t0|u1|v0|w0|x0|y.i15118150|z04-22-12|llsf
998 ccq|b12-13-11|cm|db|en|feng|gnyu|h0
CCQ - Lusail Female Library
|
QA9.65 |
Available |
CCQ - Lusail Male Library
|
QA9.65 |
Available |
|