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

Number of the records: 1

1.

SYSNO ASEP	0361226
Document Type	M - Monograph Chapter
R&D Document Type	Monograph Chapter
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. - 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
Pages	s. 307-321
Number of pages	15 s.
Number of pages	544
Language	eng - English
Country	US - United States
Keywords	ontological proof ; Gödel
Subject RIV	BA - General Mathematics
R&D Projects	IAA100300503 GA AV ČR - Academy of Sciences of the Czech Republic (AV ČR)
CEZ	AV0Z10300504 - UIVT-O (2005-2011)
EID SCOPUS	84899989559
DOI	10.1017/CBO9780511974236.017
Workplace	Institute of Computer Science
Contact	Tereza Šírová, sirova@cs.cas.cz, Tel.: 266 053 800
Year of Publishing	2012

Number of the records: 1