Original title: A New Small Emendation of Gödel's Ontological Proof
Authors: Hájek, Petr
Document type: Research reports
Year: 2001
Language: eng
Series: ITI Series, volume: 2001-015
Keywords: comprehension; Gödel proof; modal logic; ontological proof; positive properties
Project no.: AV0Z1030915 (CEP)

Institution: Institute of Computer Science AS ČR (web)
Document availability information: Fulltext is available at the institute of the Academy of Sciences.
Original record: http://hdl.handle.net/11104/0124571

Permalink: http://www.nusl.cz/ntk/nusl-33994


The record appears in these collections:
Research > Institutes ASCR > Institute of Computer Science
Reports > Research reports