Home / Science / Mathematics / Mathematical Logic

Mathematical Logic

Select availability
62 products
Sort by:
Godel's Incompleteness Theorems
This Element takes a deep dive into Gödel's 1931 paper giving the first presentation of the Incomple...
€20.40 -10%
Godel's Theorem: A Very Short Introduction
Kurt Gödel first published his celebrated theorem, showing that no axiomatization can determine the...
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...
€29.00 -10%
Best Writing on Mathematics 2021
This annual anthology brings together the year’s finest mathematics writing from around the world—an...
€29.00 -10%
Set Theory
Set theory is a branch of mathematics with a special subject matter, the infinite, but also a genera...
€20.40 -10%
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%
Logic Primer
The new edition of a comprehensive and rigorous but concise introduction to symbolic logic. Logic P...
€43.30 -10%
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%
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%
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%
Learning MATLAB: A Problem Solving Approach
This comprehensive and stimulating introduction to Matlab, a computer language now widely used for t...
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%
An Invitation to Abstract Mathematics
This undergraduate textbook promotes an active transition to higher mathematics. Problem solving is...
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%
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...


Subscribe to the newsletter to be the first to receive our new releases and offers
Your account