Gödel's Proof

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)