£93.13

Springer Applied Proof Theory: Proof Interpretations and their Use in Mathematics (Springer Monographs in Mathematics)

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

View at Amazon

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

This is the most expensive it has ever been. Walk away.

£93 today · previous high £93 · all-time low £90

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 44 days · 44 data points (no recent data)

Historical
Generating forecast…
£93.13 £89.68 £90.43 £91.18 £91.94 £92.69 £93.44 23 April 2026 03 May 2026 14 May 2026 25 May 2026 05 June 2026

Price Distribution

Price distribution over 44 days • 2 price levels

Days at Price
Current Price
32 days 12 days · current 0 8 16 24 32 £90 £93 Days at Price

Price Analysis

Most common price: £90 (32 days, 72.7%)

Price range: £90 - £93

Price levels: 2 different prices over 44 days

Description

This is the first treatment in book format of proof-theoretic transformations - known as proof interpretations - that focuses on applications to ordinary mathematics. It covers both the necessary logical machinery behind the proof interpretations that are used in recent applications as well as – via extended case studies – carrying out some of these applications in full detail. This subject has historical roots in the 1950s. This book for the first time tells the whole story.

Product Specifications

Format
paperback
Domain
Amazon UK
Release Date
21 October 2010
Listed Since
05 September 2010

Barcode

No barcode data available

Similar Products You Might Like

Proof Theory of Modal Logic: 2 (Applied Logic Series, 2)
83% match

Proof Theory of Modal Logic: 2 (Applied Logic Series, 2)

Springer

£106.20 31 May 2026
Explanation and Proof in Mathematics: Philosophical and Educational Perspectives
83% match

Explanation and Proof in Mathematics: Philosophical and Educational Perspectives

Springer

£107.98 25 May 2026
Goal-Directed Proof Theory: 21 (Applied Logic Series, 21)
81% match

Goal-Directed Proof Theory: 21 (Applied Logic Series, 21)

Springer

£73.03 15 Jun 2026
Fixed Point Theory in Ordered Sets and Applications: From Differential and Integral Equations to Game Theory
81% match

Fixed Point Theory in Ordered Sets and Applications: From Differential and Integral Equations to Game Theory

Springer

£72.77 25 May 2026
The Impact of Applications on Mathematics: Proceedings of the Forum of Mathematics for Industry 2013: 1
80% match

The Impact of Applications on Mathematics: Proceedings of the Forum of Mathematics for Industry 2013: 1

Springer

£77.33 28 May 2026
Structural Proof Theory
80% match

Structural Proof Theory

Cambridge University Press

£94.00 04 Jun 2026
Advances in Mathematics Education Research on Proof and Proving: An International Perspective (ICME-13 Monographs)
80% match

Advances in Mathematics Education Research on Proof and Proving: An International Perspective (ICME-13 Monographs)

Springer

£115.87 06 Jun 2026
Singular Perturbation Theory: Mathematical and Analytical Techniques with Applications to Engineering
80% match

Singular Perturbation Theory: Mathematical and Analytical Techniques with Applications to Engineering

Springer

£107.98 25 May 2026
Approximation Theory, Sequence Spaces and Applications (Industrial and Applied Mathematics)
80% match

Approximation Theory, Sequence Spaces and Applications (Industrial and Applied Mathematics)

Springer

£82.45 12 Jun 2026
Applications of Fixed-Point Theorem: Extending Classical Results to Modern Frameworks (Industrial and Applied Mathematics)
80% match

Applications of Fixed-Point Theorem: Extending Classical Results to Modern Frameworks (Industrial and Applied Mathematics)

Springer

£105.76 05 Jun 2026
Mittag-Leffler Functions, Related Topics and Applications (Springer Monographs in Mathematics)
80% match

Mittag-Leffler Functions, Related Topics and Applications (Springer Monographs in Mathematics)

Springer

£64.54 24 May 2026
Homogenization Algebras and Applications: A Deterministic Homogenization Theory (Springer Monographs in Mathematics)
80% match

Homogenization Algebras and Applications: A Deterministic Homogenization Theory (Springer Monographs in Mathematics)

Springer

£92.56 31 May 2026
Abstraction, Refinement and Proof for Probabilistic Systems (Monographs in Computer Science)
80% match

Abstraction, Refinement and Proof for Probabilistic Systems (Monographs in Computer Science)

Springer

£39.06 01 Jun 2026
Advances in Intensional Logic: 7 (Applied Logic Series, 7)
80% match

Advances in Intensional Logic: 7 (Applied Logic Series, 7)

Springer

£106.20 28 May 2026
Introduction to Annotated Logics: Foundations for Paracomplete and Paraconsistent Reasoning: 88 (Intelligent Systems Reference Library, 88)
79% match

Introduction to Annotated Logics: Foundations for Paracomplete and Paraconsistent Reasoning: 88 (Intelligent Systems Reference Library, 88)

Springer

£73.85 27 Jun 2026
Introduction to Annotated Logics: Foundations for Paracomplete and Paraconsistent Reasoning: 88 (Intelligent Systems Reference Library, 88)
79% match

Introduction to Annotated Logics: Foundations for Paracomplete and Paraconsistent Reasoning: 88 (Intelligent Systems Reference Library, 88)

Springer

£76.38 05 Jun 2026
The Argument of Mathematics: 30 (Logic, Epistemology, and the Unity of Science, 30)
79% match

The Argument of Mathematics: 30 (Logic, Epistemology, and the Unity of Science, 30)

Springer

£74.74 25 May 2026
Mathematics for Engineers and Scientists: Concepts, Applications, and History
79% match

Mathematics for Engineers and Scientists: Concepts, Applications, and History

Springer

£95.35 03 Jul 2026
Set Theory: Techniques and Applications Curaçao 1995 and Barcelona 1996 Conferences
79% match

Set Theory: Techniques and Applications Curaçao 1995 and Barcelona 1996 Conferences

Springer

£73.03 17 May 2026
Mathematical Statistics: Essays on History and Methodology (Springer Series in Statistics)
79% match

Mathematical Statistics: Essays on History and Methodology (Springer Series in Statistics)

Springer

£108.77 14 May 2026
Lie Algebras and Algebraic Groups (Springer Monographs in Mathematics)
79% match

Lie Algebras and Algebraic Groups (Springer Monographs in Mathematics)

Springer

£77.55 30 Jun 2026
Boolean Constructions in Universal Algebras: 242 (Mathematics and Its Applications, 242)
79% match

Boolean Constructions in Universal Algebras: 242 (Mathematics and Its Applications, 242)

Springer

£73.03 12 Jun 2026
Moduli in Modern Mapping Theory (Springer Monographs in Mathematics)
79% match

Moduli in Modern Mapping Theory (Springer Monographs in Mathematics)

Springer

£79.59 28 May 2026
Combinatorial Set Theory of C*-Algebras (Springer Monographs in Mathematics)
79% match

Combinatorial Set Theory of C*-Algebras (Springer Monographs in Mathematics)

Springer

£179.99 24 May 2026