Počet záznamů: 1  

Metamathematics of First-Order Arithmetic

  1. 1.
    SYSNO ASEP0401861
    Druh ASEPB - Monografie
    Zařazení RIVZáznam nebyl označen do RIV
    NázevMetamathematics of First-Order Arithmetic
    Tvůrce(i) Hájek, Petr (UIVT-O) RID, SAI
    Pudlák, Pavel (MU-W) RID, SAI
    Vyd. údajeBerlin: Springer-Verlag, 1993
    ISBN3-540-50632-2
    EdicePerspectives in Mathematical Logic
    Poč.str.460 s.
    Jazyk dok.eng - angličtina
    Země vyd.DE - Německo
    Klíč. slovamathematical logic
    EID SCOPUS85047351487
    PracovištěÚstav informatiky
    KontaktTereza Šírová, sirova@cs.cas.cz, Tel.: 266 053 800
    Rok sběru1920

Počet záznamů: 1