Categories for the Working Mathematician (Graduate Texts in Mathematics, 5)

Traditional Logic II Student Workbook, Second Edition

The Chess Mysteries of Sherlock Holmes: Fifty Tantalizing Problems of Chess Detection (Dover Brain Games: Math Puzzles)

Transition to Proofs

Mathematical Maturity via Discrete Mathematics (Dover Books on Mathematics)

Can You Solve My Problems?: Ingenious, Perplexing, and Totally Satisfying Math and Logic Puzzles (Alex Bellos Puzzle Books)

Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers

Schaum's Outline of Logic, Second Edition (Schaum's Outlines)

Interpolation and Definability: Modal and Intuitionistic Logic (Oxford Logic Guides)

Geometry