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

Number of the records: 1

1.

SYSNO	0361226
Title	Gödel's Ontological Proof and its Variants
Author(s)	Hájek, Petr (UIVT-O)_{RID, SAI}
Source Title	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
Document Type	Část monografie, knihy (kapitola)
Grant	IAA100300503 GA AV ČR - Academy of Sciences of the Czech Republic (AV ČR)
CEZ	AV0Z10300504 - UIVT-O (2005-2011)
Language	eng
Country	US
Keywords	ontological proof * Gödel
Permanent Link	http://hdl.handle.net/11104/0198591

	File	Download	Size	Commentary	Version	Access
	0361226.pdf	6	1.4 MB		Author´s preprint	require

Number of the records: 1