books by subject
Mathematical Logic
Cogwheels of the Mind: The Story of Venn Diagrams
Big Book of Su Doku 5: 300 Su Doku puzzles (Collins Su Doku)
The Annotated Turing: A Guided Tour Through Alan Turing's Historic Paper on Computability and the Turing Machine
The Price of Cake: And 99 Other Classic Mathematical Riddles
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)
Introduction to Logic (Dover Books on Mathematics)
Introducing Logic: A Graphic Guide (Graphic Guides)
The Limits of Mathematics: A course on information theory and the limits of formal reasoning (Discrete Mathematics and Theoretical Computer Science)
Sudoku Large Print: 100 Sudoku Puzzles with Very Hard Level - One Puzzle Per Page with Solutions (Brain Games Book 6) (100 sudoku large print)
Proofs and Refutations: The Logic of Mathematical Discovery
Programmable Logic Controllers
An Introduction to Mathematical Reasoning: Numbers, Sets and Functions
Set Theory: Exploring Independence and Truth
Isomonodromic Deformations and Frobenius Manifolds: An Introduction
Mathematical Logic and Model Theory: A Brief Introduction
Logic and Structure
Elements of Logic via Numbers and Sets
A Course in Formal Languages, Automata and Groups
Lattices and Ordered Algebraic Structures
Mathematics and Logic: Retrospect and Prospects
Maths on the Back of an Envelope: Clever ways to (roughly) calculate anything
God Created the Integers: The Mathematical Breakthroughs That Changed History
The Music of the Primes: Why an Unsolved Problem in Mathematics Matters
Logic: An Introductory Course
Introduction to Network Security
Proofs: A Long-Form Mathematics Textbook (The Long-Form Math Textbook Series)
The Times Killer Su Doku 2: 100 challenging puzzles from The Times (The Times Su Doku)
