How to Read and Do Proofs: An Introduction to Mathematical Thought Processes

The Joy of Abstraction: An Exploration of Math, Category Theory, and Life

Traditional Logic I

Metamathematics: Foundations & Physicalization

Paradoxes and Inconsistent Mathematics

The Annotated Turing: A Guided Tour Through Alan Turing's Historic Paper on Computability and the Turing Machine

Crossing the River with Dogs: Problem Solving for College Students

What Is the Name of This Book?: The Riddle of Dracula and Other Logical Puzzles (Dover Math Games & Puzzles)

The Language Lover’s Puzzle Book: A World Tour of Languages and Alphabets in 100 Amazing Puzzles (Alex Bellos Puzzle Books)

Logic: A Very Short Introduction (Very Short Introductions)