RelBib: Two types of ontological frame and Gödel's ontological proof

https://relbib.de/Record/1636951953