Diagonalization and self-reference
A beginner's further guide to mathematical logic
Raymond M. Smullyan
A Beginners Guide To Mathematical Logic
Gödel's incompleteness theorems
Rambles Through My Library
Mixed Bag
The Gödelian puzzle book
The Riddle of Scheherazade
A Brief History of Time
Stephen Hawking
Paradise Lost
John Milton
Poetry
Hamlet
William Shakespeare
Comic
The Code Book
Simon Singh
Narrative non-fiction
Artificial intelligence
Peter Norvig
Reference
Fermat's Last Theorem
The Emperor's New Mind
Roger Penrose
Six Easy Pieces
Paul Davies
Essays
The Man Who Loved Only Numbers
Paul Hoffman
