Počet záznamů: 1  

Metamathematics of first-order arithmetic

  1. Údaje o názvuMetamathematics of first-order arithmetic / Petr Hájek, Pavel Pudlák
    Osobní jméno Pudlák, Pavel, 1952- (autor)
    Vyd.údajeBerlin ; Heidelberg ; New York : Springer, 1998
    Fyz.popisxiv, 460 s.
    ISSN01726641
    Edice Perspectives in mathematical logic
    PoznámkaObsahuje 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
    SignaturaČár.kódLokaceDislokaceInfo
    M1/1662 (PřF)3134015818PřFPřF, KMI – Bc. Kolovratníkovápouze prezenčně

Počet záznamů: 1  

  Tyto stránky využívají soubory cookies, které usnadňují jejich prohlížení. Další informace o tom jak používáme cookies.