Limits of Mathematics: A Journey Through the Key Areas of Mathematical Logic: 19 (Mathematics Study Resources, 19) - Image 1

£39.34

Springer Limits of Mathematics: A Journey Through the Key Areas of Mathematical Logic: 19 (Mathematics Study Resources, 19)

Name: Limits of Mathematics: A Journey Through the Key Areas of Mathematical Logic: 19 (Mathematics Study Resources, 19)
Brand: Springer
Price: 40.79 GBP
Availability: InStock

Mathematical Logic

Price History & Forecast

Last 82 days • 82 data points

Historical

Generating forecast...

Price Distribution

Price distribution over 82 days • 5 price levels

Days at Price

Current Price

Price Analysis

Most common price: £37 (32 days, 39.0%)

Price range: £37 - £42

Price levels: 5 different prices over 82 days

Description

Is mathematics free of contradictions? Are there truths beyond what can be proven? Is it possible to encode our mathematical knowledge into a single number? Modern mathematical logic of the twentieth century provides astonishing answers to these questions. This book takes you on a journey through the core areas of mathematical logic, leading to the limits of mathematics. The covered topics include the history of mathematical logic, formal systems, axiomatic number theory and set theory, proof theory, Gödel's incompleteness theorems, computability theory, algorithmic information theory, and model theory. The book contains numerous two-color illustrations and more than 70 exercises (with solutions available on the author's website). This translation is based on the third edition of the original German book.

Product Specifications

Brand: Springer
Format: paperback
ASIN: 3662709988
Category: Books > Subjects > Science, Nature & Maths > Mathematics > Mathematical Foundations > Mathematical Logic
Domain: Amazon UK
Release Date: 02 October 2025
Listed Since: 08 February 2025

Barcode

No barcode data available

Springer Limits of Mathematics: A Journey Through the Key Areas of Mathematical Logic: 19 (Mathematics Study Resources, 19)

Price History & Forecast

Price Distribution

Price Analysis

Description

Product Specifications

Barcode

Similar Products You Might Like

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

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

Extensions of Logic Programming: Third International Workshop, ELP '92, Bologna, Italy, February 26-28, 1992. Proceedings: 660 (Lecture Notes in Computer Science, 660)

Mathematical Logic: 291 (Graduate Texts in Mathematics, 291)

Logic Colloquium '03: Lecture Notes in Logic 24

Introduction to Mathematical Logic: Set Theory Computable Functions Model Theory (Undergraduate Texts in Mathematics)

Practical Foundations of Mathematics: 59 (Cambridge Studies in Advanced Mathematics, Series Number 59)

Logic for Computer Science and Artificial Intelligence

Strukturtypen der Logik: 3 (Probleme und Resultate der Wissenschaftstheorie und Analytischen Philosophie, 3)

An Accompaniment to Higher Mathematics (Undergraduate Texts in Mathematics)

Decidability of Logical Theories and Their Combination (Studies in Universal Logic)

Computability and Logic

Logic and Philosophy: A Modern Introduction

Proof Analysis: A Contribution to Hilbert's Last Problem

Derivation and Computation: Taking the Curry-Howard Correspondence Seriously: 51 (Cambridge Tracts in Theoretical Computer Science, Series Number 51)

An den Grenzen des Endlichen: Das Hilbertprogramm im Kontext von Formalismus und Finitismus: 4 (Mathematik im Kontext)

An Introduction to Substructural Logics

The Elements of Formal Logic: 12 (Routledge Library Editions: Logic)

Probabilistic Extensions of Various Logical Systems

Logical Studies of Paraconsistent Reasoning in Science and Mathematics: 45 (Trends in Logic, 45)

Logic Programming and Nonmonotonic Reasoning: 14th International Conference, LPNMR 2017, Espoo, Finland, July 3-6, 2017, Proceedings: 10377 (Lecture Notes in Computer Science, 10377)

Proofs and Computations (Perspectives in Logic)

The Logical Legacy of Nikolai Vasiliev and Modern Logic: 387 (Synthese Library, 387)

Logic in Central and Eastern Europe: History, Science, and Discourse