作者 Hájek, Petr
書名 Metamathematics of first-order arithmetic / Petr Hájek, Pavel Pudlák
出版項 Berlin ; New York : Springer-Verlag, 1992
國際標準書號 3540506322 : DM168.00
0387506322
book jacket
館藏地 索書號 處理狀態 OPAC 訊息 條碼
 數學所圖書室  QA248 H23 1993    在架上    30340200278780
 資訊所圖書室圖書區  F4.1 H154    在架上    30330000102819
說明 xiv, 460 p. ; 25 cm
系列 Perspectives in mathematical logic
附註 Includes bibliographical references and index
主題 Arithmetic -- Foundations
Mathematical logic iis
Alt Author Pudlák, Pavel, 1952-