Mathematical Logic

Set Theory

Set theory is a branch of mathematics with a special subject matter, the infinite, but also a genera...

€20.40 -10%

€18.30

The Logic of Information: A Theory of Philosophy as Conceptual Design

Luciano Floridi presents an innovative approach to philosophy, conceived as conceptual design. He ex...

€27.50 -10%

€24.70

Logic Primer

The new edition of a comprehensive and rigorous but concise introduction to symbolic logic. Logic P...

€43.30 -10%

€38.90

Saved from the Cellar: Gerhard Gentzen’s Shorthand Notes on Logic and Foundations of Mathematics

Gerhard Gentzen is best known for his development of the proof systems of natural deduction and sequ...

€95.40 -50%

€47.70

Decidability of Logical Theories and Their Combination

This textbook provides a self-contained introduction to decidability of first-order theories and the...

€58.30 -49%

€29.70

Kripke’s Worlds: An Introduction to Modal Logics via Tableaux

Possible worlds models were introduced by Saul Kripke in the early 1960s. Basically, a possible worl...

€79.50 -49%

€40.30

Learning MATLAB: A Problem Solving Approach

This comprehensive and stimulating introduction to Matlab, a computer language now widely used for t...

€53.70

Universal Logic : An Anthology From Paul Hertz to Dov Gabbay

A collection of papers from Paul Hertz to Dov Gabbay - through Tarski, Gödel, Kripke - giving a gene...

€90.10 -47%

€47.70

An Invitation to Abstract Mathematics

This undergraduate textbook promotes an active transition to higher mathematics. Problem solving is...

€62.00

An Introduction to Proof Theory: Normalization, Cut-Elimination, and Consistency Proofs

An Introduction to Proof Theory provides an accessible introduction to the theory of proofs, with de...

€34.90 -10%

€31.40

Can Mathematics Be Proved Consistent?: Gödel's Shorthand Notes & Lectures on Incompleteness

Kurt Gödel (1906–1978) shook the mathematical world in 1931 by a result that has become an icon of 2...

€58.00

The Mathematics Lover's Companion: Masterpieces for Everyone

Twenty-three mathematical masterpieces for exploration and enlightenment How can a shape have more...

€17.50 -10%

€15.70

Ultimate Mathematical Challenge: Over 365 puzzles to test your wits and excite your mind

’Be warned: cracking puzzles releases a very addictive drug.’ – Marcus du Sautoy Have you ever want...

€18.20 -10%

€16.30

The Best Writing on Mathematics 2020

This annual anthology brings together the year’s finest mathematics writing from around the world. F...

€26.80 -10%

€24.00

Games for Your Mind: The History and Future of Logic Puzzles

Logic puzzles were first introduced to the public by Lewis Carroll in the late nineteenth century an...

€31.40 -11%

€28.00