Godel's Theorem - Franzen, Torkel

"Among the many expositions of Gödel's incompleteness theorems written for non-specialists, this book stands apart. With exceptional clarity, FranzĂ©n gives careful, non-technical explanations both of what those theorems say and, more importantly, what they do not.