01593nam a22004577a 4500 000084970 CZ-PrVSE 20050207165400.0 041217s1998 gw fr 000 0 eng d 3-540-63648-X (brož.) ABA006 cze ABA006 ABA006 510 Obecné úvahy o matematice Konspekt 13 511 General principles Conspectus 13 510.644 MRF 510.6 MRF 510.635 MRF 511.1 MRF 164 MRF 164HÁJ Hájek, Petr, 1940-2016 jk01033078 aut Mathematics of first-order arithmetic / Petr Hájek, Pavel Pudlák Berlin : Springer, 1998 xiv, 460 s. Perspectives in mathematical logic, 0172-6641 Obsahuje bibliografii a rejstřík fuzzy logika ph120411 czenas matematická logika ph122671 czenas predikátová logika ph124584 czenas aritmetika ph118605 czenas monografie fd132842 czenas fuzzy logic eczenas mathematical logic eczenas predicate calculus eczenas arithmetic eczenas monographs eczenas Pudlák, Pavel aut Perspectives in mathematical logic PNGMM PSKLA F190986 N:P 3142185945 20041217 164HÁJ 81 3897 UEP01 BOOK Knihovna Žižkov - sklad na 1 měsíc UEP01 20050207