1. Bulloff, Jack, T. C. Holyoke and S. W. Hahn (eds.) (1969) Foundations of Mathematics: Symposium Papers Commemorating the Sixtieth Birthday of Kurt Gödel, New York: Springer-Verlag.
2. Christian, Curt (1980) “Leben und Wirken Kurt Gödels,” Monatshefte für Mathematik 89, 261–273.
3. Dawson, J. W., Jr. (1983) “The published work of Kurt Gödel: an annotated bibliography.” Notre Dame Journal of Formal Logic 24, 255–284.
4. Dawson, J. W., Jr. (1983) “Cataloguing the Gödel Nachlass at the Institute for Advanced Study,” Abstracts of the 7th International Congress of Logic, Methodology, and Philosophy of Science 6, 59–61.
5. Dawson, J. W., Jr. (1984) “Addenda and corrigenda to ‘The published work of Kurt Gödel,’” Notre Dame Journal of Formal Logic 25, 283–287.