Počet záznamů: 1

Kurt Gödel and the Foundations of Mathematics: Horizons of Truth

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	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