On Formally Undecidable Propositions of Principia Mathematica and Related Systems (Dover Books on Mathematics)
Incompleteness: The Proof and Paradox of Kurt Gödel (Great Discoveries): The Proof and Paradox of Kurt Godel
I Am a Strange Loop
A Profile of Mathematical Logic (Dover Books on Mathematics)
A World Without Time: The Forgotten Legacy of Godel and Einstein
The Gödelian Puzzle Book: Puzzles, Paradoxes and Proofs
A Beginner's Guide to Mathematical Logic (Dover Books on Mathematics)
When Einstein Walked with Gödel: Excursions to the Edge of Thought
The Philosophy of Set Theory: An Historical Introduction to Cantor's Paradise (Dover Books on Mathematics)