 Godel's Incompleteness Theorems (Oxford Logic Guides) by Raymond M. Smullyan, 19920820
 There's Something About Godel: The Complete Guide to the Incompleteness Theorem by Francesco Berto, 20091116
 The Shackles of Conviction: A Novel about Kurt Gödel and his Incompleteness Theorem by James R Meyer, 20080501
 Aspects of Incompleteness Lecture Notes in Logic 10 (Lecture Notes in Logic, 10) by Per Lindstrom, 200311
 Aspects of Incompleteness (Lecture Notes in Logic) by Per Lindstroem, 19970115
 Proof Theory: Gödel's Incompleteness Theorems
 The Incompleteness Phenomenon by Martin Goldstern, Haim Judah, 19950615
 Godel's Incompleteness Theorem; Little Mathematics Library by V. A. Uspensky, 1987
 Number Theory and Mathematical Logic: Godel's Incompleteness Theorems by OU Course Team, 20040101
 Typographical Number Theory: Axiom, Natural Numbers, Douglas Hofstadter, Gödel, Escher, Bach, Peano Arithmetic, Gödel's Incompleteness Theorems
 Metatheorems: Entscheidungsproblem, Gödel's Completeness Theorem, Compactness Theorem, Gödel's Incompleteness Theorems
 Godel's Incompleteness Theorems by Open University Course Team, 20090516
 Kolmogorov complexity: English language, Complexity, Turing completeness, Godel´s incompleteness theorems, Halting problem, Grammar induction, List of ... in theoretical computer science.
 Mathematical Logic: Proofs of Completeness and Incompleteness: An entry from Gale's <i>Science and Its Times</i> by Eric V. D. Luft, 2000
