izvor podataka: crosbi
✓
Weakened Gödelian ontological systems (CROSBI ID 522918)
Prilog sa skupa u časopisu | sažetak izlaganja sa skupa
Kovač, Srećko
Weakened Gödelian ontological systems // Bulletin of symbolic logic / Cummings, James (ur.). 2003. str. 96-96
Podaci o odgovornosti
Kovač, Srećko
engleski
Weakened Gödelian ontological systems
In the talk (ASL European Summer Meeting 2002) some Gödelian ontological systems are analyzed using second-order modal logic and the theory of types.
Gödel ; ontological proof ; completeness proof
Tekst je sažetak izlaganja na skupu Logic Colloquium 2002 - ASL European Summer Meeting, Münster 2002.
nije evidentirano
nije evidentirano
nije evidentirano
nije evidentirano
nije evidentirano
Podaci o prilogu
96-96.
2003.
nije evidentirano
objavljeno
Podaci o matičnoj publikaciji
Bulletin of symbolic logic
Cummings, James
Association for Symbolic Logic
1079-8986
1943-5894
Podaci o skupu
Nepoznat skup
poster
29.02.1904-29.02.2096
Povezanost rada
Povezane osobe
Povezane ustanove