guest ::
login
Digital Repository
Search
Submit
Help
About
Home
>
Reports
>
Research reports
> A New Small Emendation of Gödel's Ontological Proof
Information
Files
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
Record created 2011-07-01, last modified 2024-01-26
Similar records
No fulltext
Export as
DC
,
NUŠL
,
RIS
Share