Talks and Poster Presentations (without Proceedings-Entry):
B. Woltzenlogel-Paleo, C. Benzmüller:
"Formalization and Automated Verification of Gödelīs Proof of Godīs Existence";
Talk: 4th World Congress on the Square of Opposition,
Vatikan;
2014-05-05
- 2014-05-09.