books by subject
Mathematical Logic

The Magic of Maths (Murderous Maths)

Logic for Computer Science

The Times KenKen Book 4: The new brain-training puzzle phenomenon (The Times Puzzle Books)

Big Book of Su Doku 9: 300 Su Doku puzzles (Collins Su Doku)

Taking Sudoku Seriously: The Math Behind the World's Most Popular Pencil Puzzle

Maths - Problem Solving & Reasoning Age 9-11 (Letts Wild About)

Infinity and the Mind: The Science and Philosophy of the Infinite

Logic and Discrete Mathematics: A Computer Science Perspective

The Handbook of Mathematical Cognition

GODEL ESCHER BACH : ETERNAL GOLDEN BRAID / 20TH ANNIVERSARY ED

Easy Learning – GCSE Maths Exam Practice Workbook for AQA A: Foundation

Statistical Learning with Math and Python: 100 Exercises for Building Logic

100 Per Cent Mathematics Proof

Complexity and Information

Logic for Mathematicians

Numbers: 10 Things You Should Know

The Man Who Loved Only Numbers: The Story of Paul Erdos and the Search for Mathematical Truth: The Story of Paul Erdös and the Search for Mathematical Truth

Computational Logic and Human Thinking: How to be Artificially Intelligent

Calculus Made Easy: 2020 New Edition

At Sixes and Sevens: How to Understand Numbers and Make Maths Easy

An Introduction to Formal Logic

Logic: A Very Short Introduction

Logic for Mathematicians

Getting the Facts

Elementary Applied Symbolic Logic

Maths - Problem Solving & Reasoning Age 7-9 (Letts Wild About)

The Times Killer Su Doku 2: 100 challenging puzzles from The Times (The Times Su Doku)

Proofs: A Long-Form Mathematics Textbook (The Long-Form Math Textbook Series)

Computer Aided Verification: 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part II: 9780 (Lecture Notes in Computer Science, 9780)
