Košík

0402093 - UIVT-O 950137 CZ cze K - Konferenční příspěvek (tuzemská konf.)
Hájek, Petr
O Gödelově důkazu.
Filosofické otázky matematiky a fyziky. Brno: JČMF, 1995 - (Bečvář, J.; Fuchs, E.; Hrubý, D.; Trojánek, A.), s. 5-16
[Seminář JČMF /7./. Jevíčko (CZ), 22.08.1994-25.08.1994]
Klíčová slova: modal logic * ontological proof
Trvalý link: http://hdl.handle.net/11104/0122505