Počet záznamů: 1
Metamathematics of first-order arithmetic
Údaje o názvu Metamathematics of first-order arithmetic / Petr Hájek, Pavel Pudlák Osobní jméno Hájek, Petr, 1940-2016 (autor) Údaje o vydání 1st edition Nakladatel Berlin ; Heidelberg : Springer, 1993 Fyz.popis xiv, 460 stran ISBN 3-540-63648-X (brožováno) Edice Perspectives in mathematical logic Poznámka 3134051789 - dotisk 1993 Poznámky o skryté bibliografii a rejstřících Obsahuje bibliografii a rejstřík Dal.odpovědnost Pudlák, Pavel, 1952- (autor) Předmět.hesla aritmetika arithmetic * matematická logika mathematical logic Forma, žánr studie studies Konspekt 51 - Matematika MDT 511.1 , 510.6 , (048.8) Země vyd. Německo Jazyk dok. angličtina Druh dok. Knihy URL http://krameriusndk.nkp.cz/search/handle/uuid:12dcc100-1dcb-11e2-a61d-005056827e52 Signatura Čár.kód Lokace Dislokace Info M1/3846 (PřF) 3134051789 PřF PřF, Knihovna Doba výp. 30 dní M1/3846a (PřF) 3134051790 PřF PřF, KMI – Bc. Kolovratníková pouze prezenčně M1/3846b (PřF) 3134051791 PřF PřF, KMI – Bc. Kolovratníková pouze prezenčně
Počet záznamů: 1