Mathematical Logic

The Delicate Art of Brute Force: How to Compute It When You Can't Solve It

Confronted by a math problem of seemingly impenetrable difficulty, what can you do? In The Delicate...

€33.20 -10%

€29.90

Sheaves in Geometry and Logic: A First Introduction to Topos Theory

We dedicate this book to the memory of J. Frank Adams. His clear insights have inspired many mathema...

€84.80 -40%

€50.90

Bridging the Gap to University Mathematics

Designed as an introduction to higher-education mathematics, Bridging the Gap is the only book of th...

€37.10 -40%

€22.20

Gödel's Incompleteness Theorems: A Guided Tour Through Kurt Gödel’s Historic Proof

In 1931, the mysterious-sounding article "On Formally Undecidable Propositions of Principia Mathemat...

€58.30 -40%

€34.90

Combinatorics and Graph Theory

There are certain rules that one must abide by in order to create a successful sequel. — Randy Meeks...

€43.40 -40%

€26.00

Text and Math Into LaTeX

For more than 30 years, this comprehensive manual has been the standard introduction and complete re...

€74.20 -40%

€44.50

The Art of Proof: Basic Training for Deeper Mathematics

The Art of Proof is designed for a one-semester or two-quarter course. A typical student will have s...

€42.40 -40%

€25.40

An Introduction to Gödel’s Theorems

In 1931, the young Kurt Gödel published his First Incompleteness Theorem, which tells us that, for a...

€16.00

Godel Without (Too Many) Tears

Kurt Gödel’s famous First Incompleteness Theorem shows that, for any sufficiently rich theory that c...

€13.00

Beginning Mathematical Logic: A Study Guide

There are many wonderful introductory texts on mathematical logic, but there are also many not-so-us...

€13.00

An Introduction to Formal Logic

Formal logic provides us with a powerful set of techniques for criticizing some arguments and showin...

€19.00

The Math Book: From Pythagoras to the 57th Dimension (Revised and Updated)

Math's infinite mysteries unfold in this updated edition of the award-winning The Math Book. Beginni...

€34.90 -10%

€31.40

Meaning and Proscription in Formal Logic: Variations on the Propositional Logic of William T. Parry

This book aids in the rehabilitation of the wrongfully deprecated work of William Parry, and is the...

€53.00 -50%

€26.50

How Logic Works: A User's Guide

How Logic Works is an introductory logic textbook that is different by design. Rather than teaching...

€29.20 -10%

€26.20

Non-commutative Multiple-Valued Logic Algebras

This monograph provides a self-contained and easy-to-read introduction to non-commutative multiple-v...