Davis, Martin, cWhat Did Gödel Believe and When Did He Believe it?d, Bulletin of Symbolic Logic 11 (2005), 1943206
V. Peckhaus, Mathematical Reviews, M39367 (2005m:03001  (2005).