Počet záznamů: 1

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

SYSNO	0361226
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. S. 307-321. - 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
Druh dok.	Část monografie, knihy (kapitola)
Grant	IAA100300503 GA AV ČR - Akademie věd
CEZ	AV0Z10300504 - UIVT-O (2005-2011)
Jazyk dok.	eng
Země vyd.	US
Klíč.slova	ontological proof * Gödel
Trvalý link	http://hdl.handle.net/11104/0198591

	Název souboru	Staženo	Velikost	Komentář	Verze	Přístup
	0361226.pdf	6	1.4 MB		Autorský preprint	vyžádat

Počet záznamů: 1