Number of the records: 1  

Metamathematics of first-order arithmetic

  1. Title statementMetamathematics of first-order arithmetic / Petr Hájek, Pavel Pudlák
    Personal name Pudlák, Pavel, 1952- (author)
    Issue dataBerlin ; Heidelberg ; New York : Springer, 1998
    Phys.des.xiv, 460 s.
    ISSN01726641
    Edition Perspectives in mathematical logic
    NoteObsahuje literaturu a rejstřík
    Another responsib. Hájek, Petr, 1940-2016 (author)
    Subj. Headings aritmetika arithmetic * matematická logika mathematical logic * matematika mathematics
    UDC 510 , 510.6
    CountryNěmecko
    Languageangličtina
    Document kindBooks
    book

    book

    Call numberBarcodeLocationSublocationInfo
    M1/1662 (PřF)3134015818PřFPřF, KMI – Bc. KolovratníkováIn-Library Use Only

Number of the records: 1  

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