Descriptive and Formal Ontology: The Ontological Argument from Anselm to Gödel
A selected bibliography on the ontological argument, with particular attention to the historical and logical developments.