LEADER 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- 
LOCATION CALL # STATUS OPACMSG BARCODE
 Mathematics Library  QA248 H23 1993    AVAILABLE    30340200278780
 Inform. Sci. Books  F4.1 H154    AVAILABLE    30330000102819