The published work of Kurt Gödel: an annotated bibliography. - John W. Dawson (Notre Dame J. Formal Log., 1983)

Addenda and corrigenda to: "The published work of Kurt Gödel: an annotated bibliography". - John W. Dawson (Notre Dame J. Formal Log., 1984)

Logical dilemmas - the life and work of Kurt Gödel. - John W. Dawson (AK Peters, 1997)

What Hath Gödel Wrought? - John W. Dawson (Synth., 1998)

Kurt Gödel - Leben und Werk. - John W. Dawson (Springer, 1999)

Kurt Gödel - das Album: the album. - Karl Sigmund; John W. Dawson; Kurt Mühlberger (Vieweg, 2006)

Shaken Foundations or Groundbreaking Realignment? A Centennial Assessment of Kurt Gödel's Impact on Logic, Mathematics, and Computer Science. - John W. Dawson (LICS, 2006)