Home | Help | New Search | 中文模式

AS Library Service 


Start Over Hold this item Export MARC Display Return To Browse Another Search
   
Record:   Prev Next
Author Hájek, Petr
Title Metamathematics of first-order arithmetic / Petr Hájek, Pavel Pudlák
Imprint Berlin ; New York : Springer-Verlag, 1992
 book jacket
LOCATION CALL # STATUS OPACMSG BARCODE
 Mathematics Library  QA248 H23 1993    AVAILABLE    30340200278780
 Inform. Sci. Books  F4.1 H154    AVAILABLE    30330000102819
Descript xiv, 460 p. ; 25 cm
Series Perspectives in mathematical logic
Note Includes bibliographical references and index
Subject Arithmetic -- Foundations
Mathematical logic iis
Alt Author Pudlák, Pavel, 1952-
Record:   Prev Next
Start Over Hold this item Export MARC Display Return To Browse Another Search


Home | Help | 中文模式