RelBib: Symbolic Ai and Gödel's Ontological Argument https://www.relbib.de/Record/1826761489/Description