van Atten, Mark/Kennedy, Juliette, cOn the Philosophical Development of Kurt Gödeld, Bulletin of Symbolic Logic 9 (2003), 4253476
V. Peckhaus, Mathematical Reviews, M20423 (2005b:03010)  (2005).