 THINKING ABOUT GÖDEL AND TURING: Essays on Complexity, 19702007 by Gregory J. Chaitin, 20070806
 Foundations of Probability and Physics  5 (AIP Conference Proceedings)
 Incompleteness: The Proof and Paradox of Kurt Godel (Great Discoveries) by Rebecca Goldstein, 200502
 Inexhaustibility: A NonExhaustive Treatment, Lecture Notes in Logic 16 (Lecture Notes in Logic, 16) by Torkel Franzen, 200409
 Formal Number Theory and Computability: A Workbook (Oxford Science Publications) by Alec Fisher, 19820923
 Mechanism, Mentalism and Metamathematics: An Essay on Finitism (Synthese Library) by J. Webb, 19801031
 Godel's incompleteness results by Susan M Schilling, 1981
 Shadows of the Mind: A Search for the Missing Science of Consciousness by Roger Penrose, 19941020
