£39.98

Birkhauser Gödel's Theorems and Zermelo's Axioms: A Firm Foundation of Mathematics

Price data last checked 114 day(s) ago - refreshing...

View at Amazon

We'll watch every seller, every day. One email when your price arrives.

Same price for 5 weeks. Today is much like next week.

£40 for 36 days straight · last change was Jan 2026

NEW HERE?

Amazon shows you one price. We show you all of them.

Tosheroon watches Amazon prices so you don't have to. Every product on Amazon has a price history — we make it visible. Set the price you'd actually pay, and we'll email you the second it gets there. No app, no account, one email.

WHAT'S ON THIS PAGE

↓ Price chart
when this has been cheap or pricey
↓ Forecast
where the price is heading next
↓ Statistics
all-time high & low, recent range
↑ Price alert
name your number, we'll email you

Price History & Forecast

Grey patches = out of stock. Cheaper = lower on the chart. Hover for exact prices.

Last 617 days • 617 data points (No recent data available)

Historical
Generating forecast...
£39.99 £32.51 £34.14 £35.77 £37.41 £39.04 £40.67 09 June 2024 10 November 2024 13 April 2025 14 September 2025 15 February 2026

Price Distribution

Price distribution over 617 days • 6 price levels

Days at Price
Current Price
21 days 19 days 345 days 6 days 74 days 152 days · current 0 86 173 259 345 £33 £34 £35 £38 £39 £40 Days at Price

Price Analysis

Most common price: £35 (345 days, 55.9%)

Price range: £33 - £40

Price levels: 6 different prices over 617 days

Description

This book provides a concise and self-contained introduction to the foundations of mathematics. The first part covers the fundamental notions of mathematical logic, including logical axioms, formal proofs and the basics of model theory. Building on this, in the second and third part of the book the authors present detailed proofs of Gödel’s classical completeness and incompleteness theorems. In particular, the book includes a full proof of Gödel’s second incompleteness theorem which states that it is impossible to prove the consistency of arithmetic within its axioms. The final part is dedicated to an introduction into modern axiomatic set theory based on the Zermelo’s axioms, containing a presentation of Gödel’s constructible universe of sets. A recurring theme in the whole book consists of standard and non-standard models of several theories, such as Peano arithmetic, Presburger arithmetic and the real numbers. The book addresses undergraduate mathematics students and is suitable for a one or two semester introductory course into logic and set theory. Each chapter concludes with a list of exercises.

Product Specifications

Format
paperback
Domain
Amazon UK
Release Date
17 October 2021
Listed Since
20 September 2021

Barcode

No barcode data available

Similar Products You Might Like

Gödel's Theorems and Zermelo's Axioms: A Firm Foundation of Mathematics
99% match

Gödel's Theorems and Zermelo's Axioms: A Firm Foundation of Mathematics

£46.41 13 Jan 2026
Gödel's Incompleteness Theorems: A Guided Tour Through Kurt Gödel’s Historic Proof
97% match

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

Springer

£41.75 29 Jan 2026
Lectures in Logic and Set Theory: Volume I: Mathematical Logic: 82 (Cambridge Studies in Advanced Mathematics, Series Number 82)
97% match

Lectures in Logic and Set Theory: Volume I: Mathematical Logic: 82 (Cambridge Studies in Advanced Mathematics, Series Number 82)

Cambridge University Press

£43.20 20 Feb 2026
Gödel's Incompleteness Theorems: 19 (Oxford Logic Guides)
97% match

Gödel's Incompleteness Theorems: 19 (Oxford Logic Guides)

Oxford University Press

£199.83 17 Mar 2026
Set Theory An Introduction To Independence Proofs: 102 (Studies in Logic and the Foundations of Mathematics): Volume 102
97% match

Set Theory An Introduction To Independence Proofs: 102 (Studies in Logic and the Foundations of Mathematics): Volume 102

North Holland

£43.49 20 Feb 2026
Notes on Logic and Set Theory (Cambridge Mathematical Textbooks)
97% match

Notes on Logic and Set Theory (Cambridge Mathematical Textbooks)

Cambridge University Press

£42.32 20 Jan 2026
Logic and Structure (Universitext)
97% match

Logic and Structure (Universitext)

Springer

£48.08 14 Apr 2026
Set Theory, Logic and their Limitations
97% match

Set Theory, Logic and their Limitations

Cambridge University Press

£43.56 16 Mar 2026
Mathematical Logic: Exercises and Solutions (Problem Books in Mathematics)
97% match

Mathematical Logic: Exercises and Solutions (Problem Books in Mathematics)

Springer

£26.57 01 Apr 2026
Mathematical Logic and Formalized Theories: A Survey of Basic Concepts and Results
97% match

Mathematical Logic and Formalized Theories: A Survey of Basic Concepts and Results

North Holland

£49.99 22 Feb 2026
Set Theory And Foundations Of Mathematics: An Introduction To Mathematical Logic - Volume Ii: Foundations Of Mathematics: 2
97% match

Set Theory And Foundations Of Mathematics: An Introduction To Mathematical Logic - Volume Ii: Foundations Of Mathematics: 2

World Scientific Publishing Company

£55.00 19 Feb 2026
Inexhaustibility: A Non-Exhaustive Treatment: Lecture Notes in Logic 16
97% match

Inexhaustibility: A Non-Exhaustive Treatment: Lecture Notes in Logic 16

Routledge

£89.71 23 Jan 2026
Logic for Mathematicians
97% match

Logic for Mathematicians

Cambridge University Press

£37.68 12 Dec 2025
Lectures in Logic and Set Theory: 83 (Cambridge Studies in Advanced Mathematics, Series Number 83)
97% match

Lectures in Logic and Set Theory: 83 (Cambridge Studies in Advanced Mathematics, Series Number 83)

Cambridge University Press

£57.22 15 Feb 2026
Introduction to Mathematical Logic (Discrete Mathematics and Its Applications)
97% match

Introduction to Mathematical Logic (Discrete Mathematics and Its Applications)

£52.43 11 Jan 2026
A First Journey through Logic (Student Mathematical Library)
97% match

A First Journey through Logic (Student Mathematical Library)

£43.50 28 Feb 2026
Logic of Mathematics: A Modern Course of Classical Logic: 22 (Pure and Applied Mathematics: A Wiley Series of Texts, Monographs and Tracts)
97% match

Logic of Mathematics: A Modern Course of Classical Logic: 22 (Pure and Applied Mathematics: A Wiley Series of Texts, Monographs and Tracts)

Wiley

£133.99 10 Apr 2026
A First Course in Mathematical Logic and Set Theory
97% match

A First Course in Mathematical Logic and Set Theory

Wiley

£82.59 13 Jan 2026
Introduction to Incompleteness: From Gödel's Theorems to Forcing and the Continuum Hypothesis
97% match

Introduction to Incompleteness: From Gödel's Theorems to Forcing and the Continuum Hypothesis

£105.32 08 Jan 2026
Foundations without Foundationalism: A Case for Second-order Logic (Oxford Logic Guides)
97% match

Foundations without Foundationalism: A Case for Second-order Logic (Oxford Logic Guides)

Oxford University Press

£43.18 18 Mar 2026
Kurt Gödel: Results on Foundations (Sources and Studies in the History of Mathematics and Physical Sciences)
96% match

Kurt Gödel: Results on Foundations (Sources and Studies in the History of Mathematics and Physical Sciences)

£128.30 13 Jan 2026
Automated Development of Fundamental Mathematical Theories: 2 (Automated Reasoning Series, 2)
96% match

Automated Development of Fundamental Mathematical Theories: 2 (Automated Reasoning Series, 2)

Springer

£151.55 14 Jan 2026
Kurt Godel: Essays for His Centennial: 33 (Lecture Notes in Logic, Series Number 33)
96% match

Kurt Godel: Essays for His Centennial: 33 (Lecture Notes in Logic, Series Number 33)

Cambridge University Press

£39.95 23 Feb 2026
Numbers, Sets and Axioms: The Apparatus of Mathematics
96% match

Numbers, Sets and Axioms: The Apparatus of Mathematics

Cambridge University Press

£45.08 28 Feb 2026