MARC 主機 00000cam  22000008a 4500 
001      2004023052 
003    DLC 
005    20050525091408.0 
008    040930s2005    nyu      b    001 0beng   
010    2004023052 
020    0393051692 
035    .b2270453X 
040    DLC|cDLC|dDLC|dAS 
042    pcc 
043    n-us---|ae-au--- 
050 00 QA29.G58|bG65 2005 
082 00 510/.92|aB|222 
100 1  Goldstein, Rebecca,|d1950- 
245 10 Incompleteness :|bthe proof and paradox of Kurt Gödel /
       |cRebecca Goldstein 
250    1st ed 
260    New York :|bW.W. Norton,|cc2005 
300    296 p. ;|c21 cm 
440  0 Great discoveries 
504    Includes bibliographical references and index 
505 0  A Platonist among the positivists -- Hilbert and the 
       formalists -- The proof of incompleteness -- Godel's 
       incompleteness 
520    "An introduction to the life and thought of Kurt Godel, 
       who transformed our conception of math forever"--Provided 
       by publisher 
600 10 Godel, Kurt 
650  0 Logicians|zUnited States|vBiography 
650  0 Logicians|zAustria|vBiography 
650  0 Proof theory 
856 41 |3Table of contents|uhttp://www.loc.gov/catdir/toc/ecip051
       /2004023052.html 
館藏地 索書號 處理狀態 OPAC 訊息 條碼
 數學所圖書室  QA29.G58 G65 2005    在架上    30340200464133
 資訊所圖書室圖書區  F4.1 G6243    在架上    30330000176094