books by subject

Mathematical Logic

Filter by available

Bridge Secrets: Don't miss a trick (Collins Little Books)

By Julian Pottage, Collins Books

The Times Su Doku Book 10: 150 challenging puzzles from The Times (The Times Su Doku)

By The Times Mind Games

Naive Set Theory

By Paul R. Halmos

There's Something About Goedel: The Complete Guide to the Incompleteness Theorem

By Francesco Berto (Ca' Foscari University of Venice, Italy)

Reflections on Kurt Goedel

By Hao Wang

Journey to the Edge of Reason: The Life of Kurt Goedel

By Stephen Budiansky

Code Warriors: NSA's Codebreakers and the Secret Intelligence War Against the Soviet Union

By Stephen Budiansky

Calcudoku Adult Puzzle Book: 1000 Easy to Hard Puzzles Without Blocks Consisting of One Cell (The Big Books of Logic Puzzles Series)

By Alzamili, Dr. Khalid

New Constructions in Cellular Automata

By David Griffeath (Professor of Mathematics, Professor of Mathematics, University of Wisconsin), Cristopher Moore (Research Professor, Research Professor, Sante Fe Institute)

Computational Complexity and Statistical Physics

By Allon Percus (Institute for Pure & Applied Mathematics, Institute for Pure & Applied Mathematics, UCLA), Gabriel Istrate (, Los Alamos National Laboratory), Cristopher Moore (Departments of Computer Science and Astronomy and Physics, Departments of Com...

Computation and its Limits

By Paul Cockshott (Reader, Department of Computing Science, University of Glasgow), Lewis M Mackenzie (Senior Lecturer, Gregory Michaelson (Professor of Computing Science, Heriot-Watt University, Ed...

A Farewell to Ice: A Report from the Arctic

By Peter Wadhams

Goedel's Theorem: A Very Short Introduction

By A. W. Moore (Tutorial Fellow at St Hugh's College, and Professor of Philosophy at the University of Oxford)

The Language Lover's Puzzle Book: Lexical perplexities and cracking conundrums from across the globe

By Alex Bellos

Topics in Modern Logic

By D. C. Makinson

Mathematics as a Science of Patterns

By Michael D. Resnik (University Distinguished Professor of Philosophy, University Distinguished Professor of Philosophy, University of North Carolina, Chapel Hill)

Mathematical Reviews

An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof

By Peter Bruce Andrews

Modern Logic: A Text in Elementary Symbolic Logic

By Graeme Forbes

Symbolic Logic

By Irving M. Copi

A New Introduction to Modal Logic

By George Edward Hughes, M. J. Cresswell

Cornerstones of Undecidability

By Grzegorz Rozenberg, Arto Salomaa

Gödel's Incompleteness Theorems

By Raymond M. Smullyan

Beginning Logic

By E.J. Lemmon

Reading, Writing, and Proving: A Closer Look at Mathematics

By Ulrich Daepp, Pamela Gorkin

Sodding Sums: The 10% of maths you actually need

By Hywel Carver

Twenty Years of a New Kind of Science

By Stephen Wolfram

The Magic of Maths

By Kjartan Poskitt