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