Mathematical Logic

Cogwheels of the Mind: The Story of Venn Diagrams

By A. W. F. Edwards, Ian Stewart

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

By Collins Puzzles

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

By Petzold, Charles

The Price of Cake: And 99 Other Classic Mathematical Riddles

By Deslandes, Clement, Guillaume

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)

By Chaudhuri, Swarat, Farzan, Azadeh

Introduction to Logic (Dover Books on Mathematics)

By Suppes, Patrick

Introducing Logic: A Graphic Guide (Graphic Guides)

By DAN CRYAN, SHARRON SHATIL, BILL MAYBLIN, Mayblin, Bill, Cryan, Dan, Shatil, Sharron

The Limits of Mathematics: A course on information theory and the limits of formal reasoning (Discrete Mathematics and Theoretical Computer Science)

By Chaitin, Gregory J.

Sudoku Large Print: 100 Sudoku Puzzles with Very Hard Level - One Puzzle Per Page with Solutions (Brain Games Book 6) (100 sudoku large print)

By Maker, Brainstorm

Proofs and Refutations: The Logic of Mathematical Discovery

By Lakatos/Worrall/Zahar

Programmable Logic Controllers

By William Bolton (Formerly Lecturer, Buckingham Chilterns University College, High Wycombe, UK)

An Introduction to Mathematical Reasoning: Numbers, Sets and Functions

By Peter J. Eccles (University of Manchester)

Set Theory: Exploring Independence and Truth

By Ralf Schindler

Isomonodromic Deformations and Frobenius Manifolds: An Introduction

By Claude Sabbah

Mathematical Logic and Model Theory: A Brief Introduction

By Alexander Prestel, Charles N. Delzell

Logic and Structure

By Dirk van Dalen

Elements of Logic via Numbers and Sets

By D.L. Johnson

A Course in Formal Languages, Automata and Groups

By Ian M. Chiswell

Lattices and Ordered Algebraic Structures

By T.S. Blyth

Mathematics and Logic: Retrospect and Prospects

By Mark Kac

Maths on the Back of an Envelope: Clever ways to (roughly) calculate anything

By Rob Eastaway

God Created the Integers: The Mathematical Breakthroughs That Changed History

By Stephen Hawking

The Music of the Primes: Why an Unsolved Problem in Mathematics Matters

By Marcus Du Sautoy

Logic: An Introductory Course

By W.H. Newton-Smith

Introduction to Network Security

By Douglas Jacobson

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

By Cummings, Jay

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

By AIIA, Times Mind Games

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

By Letts KS2

Elementary Applied Symbolic Logic

By Bangs Tapscott

Getting the Facts

By Andrew King