Počet záznamů: 1
Kurt Gödel and the Foundations of Mathematics: Horizons of Truth
- 1.
SYSNO ASEP 0361226 Druh ASEP M - Kapitola v monografii Zařazení RIV C - Kapitola v knize Název Gödel's Ontological Proof and its Variants Tvůrce(i) Hájek, Petr (UIVT-O) RID, SAI Zdroj.dok. Kurt Gödel and the Foundations of Mathematics: Horizons of Truth. - Cambridge : Cambridge University Press, 2011 / Baaz M. ; Papadimitriou C.H. ; V H.W. ; Scott D.S. ; Harper C.L. - ISBN 978-0-521-76144-4 Rozsah stran s. 307-321 Poč.str. 15 s. Poč.str.knihy 544 Jazyk dok. eng - angličtina Země vyd. US - Spojené státy americké Klíč. slova ontological proof ; Gödel Vědní obor RIV BA - Obecná matematika CEP IAA100300503 GA AV ČR - Akademie věd CEZ AV0Z10300504 - UIVT-O (2005-2011) EID SCOPUS 84899989559 DOI https://doi.org/10.1017/CBO9780511974236.017 Pracoviště Ústav informatiky Kontakt Tereza Šírová, sirova@cs.cas.cz, Tel.: 266 053 800 Rok sběru 2012
Počet záznamů: 1