Home / Science / Mathematics / Mathematical Logic

Mathematical Logic

Select availability
71 products
Sort by:
Variational Views in Mechanics
This volume provides a timely survey of interactions between the calculus of variations and theoreti...
€106.00 -50%
Exploring Formalisation: A Primer in Human-Readable Mathematics in Lean 3 with Examples from Simplicial Topology
This primer on mathematics formalisation provides a rapid, hands-on introduction to proof verificati...
€53.00 -50%
Hilary Putnam on Logic and Mathematics
This book explores the research of Professor Hilary Putnam, a Harvard professor as well as a leading...
€127.20 -50%
Kurt Godel: The Princeton Lectures on Intuitionism
Paris of the year 1900 left two landmarks: the Tour Eiffel, and David Hilbert's celebrated list of t...
€106.00 -50%
Introduction to Logic
This book is a gentle but rigorous introduction to Formal Logic. It is intended primarily for use at...
€53.00 -50%
Mathematical Logic: Exercises and Solutions
This book gathers together a colorful set of problems on classical Mathematical Logic, selected from...
€53.00 -50%
Non-commutative Multiple-Valued Logic Algebras
This monograph provides a self-contained and easy-to-read introduction to non-commutative multiple-v...
€53.00 -50%
Journey to the Edge of Reason: The Life of Kurt Godel
The first major biography written for a general audience of the logician and mathematician whose Inc...
€21.60 -10%
Representation Theory of Solvable Lie Groups and Related Topics
The purpose of the book is to discuss the latest advances in the theory of unitary representations a...
€106.00 -50%
The Enjoyment of Math
What is so special about the number 30? Do the prime numbers go on forever? Are there more whole num...
€23.30 -10%
The Joy of Abstraction: An Exploration of Math, Category Theory, and Life
Mathematician and popular science author Eugenia Cheng is on a mission to show you that mathematics...
€36.70 -10%
The Story of Proof: Logic and the History of Mathematics
The Story of Proof investigates the evolution of the concept of proof—one of the most significant an...
€52.40 -10%
Proofs and Models in Philosophical Logic
Intelligent mental representations of physical, cognitive and social environments allow humans to na...
€20.40 -10%
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...


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