Number of the records: 1
Metamathematics of first-order arithmetic
Title statement Metamathematics of first-order arithmetic / Petr Hájek, Pavel Pudlák Personal name Pudlák, Pavel, 1952- (author) Issue data Berlin ; Heidelberg ; New York : Springer, 1998 Phys.des. xiv, 460 s. ISSN 01726641 Edition Perspectives in mathematical logic Note Obsahuje literaturu a rejstřík Another responsib. Hájek, Petr, 1940-2016 (author) Subj. Headings aritmetika arithmetic * matematická logika mathematical logic * matematika mathematics UDC 510 , 510.6 Country Německo Language angličtina Document kind Books 
book
Call number Barcode Location Sublocation Info M1/1652 (PřF) 3134015818 PřF PřF, KMI – Bc. Kolovratníková In-Library Use Only
Number of the records: 1