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 Pudlák, Pavel, 1952- (autor) Vyd.údaje Berlin ; Heidelberg ; New York : Springer, 1998 Fyz.popis xiv, 460 s. ISSN 01726641 Edice Perspectives in mathematical logic Poznámka Obsahuje literaturu a rejstřík Dal.odpovědnost Hájek, Petr, 1940-2016 (autor) Předmět.hesla aritmetika arithmetic * matematická logika mathematical logic * matematika mathematics MDT 510 , 510.6 Země vyd. Německo Jazyk dok. angličtina Druh dok. Knihy 
kniha
Signatura Čár.kód Lokace Dislokace Info M1/1662 (PřF) 3134015818 PřF PřF, KMI – Bc. Kolovratníková pouze prezenčně
Počet záznamů: 1