RelBib: Some Emendations of Gödel's Ontological Proof* https://relbib.de/Record/1837469997/Description