MARC 主機 00000nam  22000008a 4500 
001       92021885 
005    19920615155346.0 
008    920602s1992    gw       b    001 0 eng   
010    92021885 
020    3540506322 :|cDM168.00 
020    0387506322 
040    DLC|cDLC|dAS|dIIS 
050 00 QA248|b.H23 1992 
082 00 513/.01|220 
100 1  Hájek, Petr 
245 10 Metamathematics of first-order arithmetic /|cPetr Hájek, 
       Pavel Pudlák 
260    Berlin ;|aNew York :|bSpringer-Verlag,|c1992 
263    9206 
300    xiv, 460 p. ;|c25 cm 
440  0 Perspectives in mathematical logic 
504    Includes bibliographical references and index 
650  0 Arithmetic|xFoundations 
650  7 Mathematical logic|2iis 
700 10 Pudlák, Pavel,|d1952- 
館藏地 索書號 處理狀態 OPAC 訊息 條碼
 數學所圖書室  QA248 H23 1993    在架上    30340200278780
 資訊所圖書室圖書區  F4.1 H154    在架上    30330000102819