Paper published in a book (Scientific congresses, symposiums and conference proceedings)Computational Metaphysics: New Insights on Gödel's Ontological Argument and Modal Collapse
Benzmüller, Christoph
2019 • In Kovac, Srecko; Swietorzecka, Kordula (Eds.) Formal Methods and Science in Philosophy III, Informal Proceedings