Gödel's Proof
An Introduction to Godel's Theorems (Cambridge Introductions to Philosophy)
On Formally Undecidable Propositions of Principia Mathematica and Related Systems
Incompleteness: The Proof and Paradox of Kurt Gödel (Great Discoveries)
The Annotated Turing: A Guided Tour Through Alan Turing's Historic Paper on Computability and the Turing Machine
When Einstein Walked with Gödel: Excursions to the Edge of Thought
Gödel, Escher, Bach: An Eternal Golden Braid
A Beginner's Guide to Mathematical Logic (Dover Books on Mathematics)
Tractatus Logico-Philosophicus
Logicomix: An epic search for truth