Number of the records: 1  

Metamathematics of First-Order Arithmetic

  1. 1.
    SYSNO ASEP0401861
    Document TypeB - Monograph
    R&D Document TypeThe record was not marked in the RIV
    TitleMetamathematics of First-Order Arithmetic
    Author(s) Hájek, Petr (UIVT-O) RID, SAI
    Pudlák, Pavel (MU-W) RID, SAI
    Issue dataBerlin: Springer-Verlag, 1993
    ISBN3-540-50632-2
    SeriesPerspectives in Mathematical Logic
    Number of pages460 s.
    Languageeng - English
    CountryDE - Germany
    Keywordsmathematical logic
    EID SCOPUS85047351487
    WorkplaceInstitute of Computer Science
    ContactTereza Šírová, sirova@cs.cas.cz, Tel.: 266 053 800
    Year of Publishing1920

Number of the records: 1  

  This site uses cookies to make them easier to browse. Learn more about how we use cookies.