Kurt Gödel-Collected Works_Volume 1_Publications 1929-1936
Kurt Gödel-Collected Works_Volume 2_Publications 1938-1974
Kurt Gödel-Collected Works_Volume 3_Unpublished Essays and Lectures
Kurt Gödel-Collected Works_Volume 4_Correspondence A-G
Kurt Gödel-Collected Works_Volume 5_Correspondence H-Z
Kurt Gödel-On Formally Undecidable Propositions of Principia Mathematica and Related Systems
Peter Smith-An Introduction to Gödel's Theorems (2013)
Rebecca Goldstein-Incompleteness_The Proof and Paradox of Kurt Gödel (2005)
Stephen Budiansky-Journey to the Edge of Reason (2021)