 Godel's Incompleteness Theorems (Oxford Logic Guides, No 19) by Raymond M. Smullyan, August, 1992
 Aspects of Incompleteness Lecture Notes in Logic 10 by Per Lindstrom, November, 2003
 Inexhaustibility: A Nonexhaustive Treatment Lecture Notes in Logic 16 by Torkel Franzen, T. Franze, 15 August, 2002
 Aspects of Incompleteness (Lecture Notes in Logic, 10) by Per Lindstrom, 15 January, 1997
 The Incompleteness Phenomenon: A New Course in Mathematical Logic by Martin Goldstern, Haim Judah, June, 1995
 Formal Number Theory and Computability: A Workbook (Oxford Science Publications) by Alec Fisher, December, 1989
 Mechanism, Mentalism, and Metamathematics: An Essay on Finitism (Synthese Library, 137) by Judson Chambers Webb, March, 1980
 Ãber mathematische Aussagen, die samt ihrer Negation nachweislich unbeweisbar sind : d. UnvollstÃ¤ndigkeitssatz von GÃ¶del by Wolfgang Franz,
