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