1. Adams, R. M., Introductory note to [Gödel 1970], 1995.
2. Anderson, C. A., Some emendations of Gödel’s ontological proof, Faith and Philosophy 7(3):291–303, 1990.
3. Anderson, C. A., and M. Gettings, Gödel’s ontological proof revisited, in P. Hájek (ed.), Gödel ’96, Springer, New York, 1996.
4. Bentert, M., C. Benzmüller, D. Streit, and B. Woltzenlogel Paleo, Analysis of an Ontological Proof Proposed by Leibniz. [to appear in] Death and Anti-Death, Volume 14: Four Decades after Michael Polanyi, Three Centuries after G. W. Leibniz, (C. Tandy, ed.), Ria University Press, Palo Alto, CA, 2016.
5. Benzmüller, C., C. Brown, and M. Kohlhase, Higher-order semantics and extensionality, Journal of Symbolic Logic 69(4):1027–1088, 2004.