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 Hájek, Petr, 1940-2016 (author) Edition statement 1st edition Publication Berlin ; Heidelberg : Springer, 1993 Phys.des. xiv, 460 stran ISBN 3-540-63648-X (brožováno) Edition Perspectives in mathematical logic Note 3134051789 - dotisk 1993 Internal Bibliographies/Indexes Note Obsahuje bibliografii a rejstřík Another responsib. Pudlák, Pavel, 1952- (author) Subj. Headings aritmetika arithmetic * matematická logika mathematical logic Form, Genre studie studies Conspect 51 - Matematika UDC 511.1 , 510.6 , (048.8) Country Německo Language angličtina Document kind Books URL http://krameriusndk.nkp.cz/search/handle/uuid:12dcc100-1dcb-11e2-a61d-005056827e52 Call number Barcode Location Sublocation Info M1/3846 (PřF) 3134051789 PřF PřF, Knihovna Date due 30 days M1/3846a (PřF) 3134051790 PřF PřF, KMI – Bc. Kolovratníková In-Library Use Only M1/3846b (PřF) 3134051791 PřF PřF, KMI – Bc. Kolovratníková In-Library Use Only
Number of the records: 1