books by subject
Mathematical Logic
Bridge Secrets: Don't miss a trick (Collins Little Books)
The Times Su Doku Book 10: 150 challenging puzzles from The Times (The Times Su Doku)
Naive Set Theory
There's Something About Goedel: The Complete Guide to the Incompleteness Theorem
Reflections on Kurt Goedel
Journey to the Edge of Reason: The Life of Kurt Goedel
Code Warriors: NSA's Codebreakers and the Secret Intelligence War Against the Soviet Union
Calcudoku Adult Puzzle Book: 1000 Easy to Hard Puzzles Without Blocks Consisting of One Cell (The Big Books of Logic Puzzles Series)
New Constructions in Cellular Automata
Computational Complexity and Statistical Physics
Computation and its Limits
A Farewell to Ice: A Report from the Arctic
Goedel's Theorem: A Very Short Introduction
The Language Lover's Puzzle Book: Lexical perplexities and cracking conundrums from across the globe
Topics in Modern Logic
Mathematics as a Science of Patterns
Mathematical Reviews
An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof
Modern Logic: A Text in Elementary Symbolic Logic
Symbolic Logic
A New Introduction to Modal Logic
Cornerstones of Undecidability
Gödel's Incompleteness Theorems
Beginning Logic
Reading, Writing, and Proving: A Closer Look at Mathematics
Sodding Sums: The 10% of maths you actually need
Twenty Years of a New Kind of Science