books by subject

Mathematical Logic

Filter by available

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

By Rob Eastaway

Mathematics and Logic: Retrospect and Prospects

By Mark Kac

Lattices and Ordered Algebraic Structures

By T.S. Blyth

A Course in Formal Languages, Automata and Groups

By Ian M. Chiswell

Elements of Logic via Numbers and Sets

By D.L. Johnson

Logic and Structure

By Dirk van Dalen

Mathematical Logic and Model Theory: A Brief Introduction

By Alexander Prestel, Charles N. Delzell

Isomonodromic Deformations and Frobenius Manifolds: An Introduction

By Claude Sabbah

Set Theory: Exploring Independence and Truth

By Ralf Schindler

An Introduction to Mathematical Reasoning: Numbers, Sets and Functions

By Peter J. Eccles (University of Manchester)

Programmable Logic Controllers

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

Proofs and Refutations: The Logic of Mathematical Discovery

By Lakatos/Worrall/Zahar

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

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.

Introducing Logic: A Graphic Guide (Graphic Guides)

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

Introduction to Logic (Dover Books on Mathematics)

By Suppes, Patrick

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

The Price of Cake: And 99 Other Classic Mathematical Riddles

By Deslandes, Clement, Guillaume

Schaum's Outline of Boolean Algebra and Switching Circuits

By Mendelson, Elliott

The Times Crossword Collection: 160 of the most famous crosswords in the world (The Times Crosswords)

By Laws

Computational Complexity

By Papadimitriou, Christos H.

Introduction to Mathematical Logic

By Mendelson, Elliott

The Times Super Fiendish Su Doku Book 4: 200 challenging puzzles from The Times (The Times Su Doku)

By The Times Mind Games

Sets, Logic and Maths for Computing (Undergraduate Topics in Computer Science)

By Makinson, David

SOS TITLE UNKNOWN

By Smullyan, Raymond

Equations with Involutive Operators

By Karapetiants, Nikolai, Samko, Stefan

Introducing Logic (Graphic Guides)

By Mayblin, Bill, Cryan, Dan, Shatil, Sharron

From Stimulus to Science

By Quine, W. V.

The Times Samurai Su Doku: 100 extreme puzzles for the fearless Su Doku warrior (The Times Su Doku)

By The Times Mind Games, .

The Frege Reader (Wiley Blackwell Readers)

By Beaney