1. Bjordal, F.A.: Understanding Gödel’s ontological argumen. In: Childers, T. (Ed.), The Logica Yearbook 1998, Prague 1999, pp. 214–217
2. Bjordal, F.A.: All properties are divine, or God exists. Logic and Logical Philosophy 27(3), 329–350 (2018)
3. Dawson, J.W., Jr.: Logical Dilemmas: The Life and Work of Kurt Godel. AK Peters, Wellesley, Massachusetts (1987)
4. Fitting, M.: Types, Tableaus, and Godel’s God. Kluwer Academic, Dordrecht (2002)
5. Gödel, K.: In: S. Feferman, J.W. Dawson Jr., W. Goldfarb, C. Parsons, Solovay, R.M. (Eds.), Unpublished Essays and Lectures, Collected Works III (1st ed.), Oxford University Press, Oxford, UK, 1995, pp. 403–404 and 429–437