Počet záznamů: 1
Metamathematics of First-Order Arithmetic
- 1.
SYSNO ASEP 0401861 Druh ASEP B - Monografie Zařazení RIV Záznam nebyl označen do RIV Název Metamathematics of First-Order Arithmetic Tvůrce(i) Hájek, Petr (UIVT-O) RID, SAI
Pudlák, Pavel (MU-W) RID, SAIVyd. údaje Berlin: Springer-Verlag, 1993 ISBN 3-540-50632-2 Edice Perspectives in Mathematical Logic Poč.str. 460 s. Jazyk dok. eng - angličtina Země vyd. DE - Německo Klíč. slova mathematical logic EID SCOPUS 85047351487 Pracoviště Ústav informatiky Kontakt Tereza Šírová, sirova@cs.cas.cz, Tel.: 266 053 800 Rok sběru 1920
Počet záznamů: 1