£93.13

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

Price data checked 2 days ago

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 89 days • 89 data points

Historical
Generating forecast...
£93.13 £89.68 £90.43 £91.18 £91.94 £92.69 £93.44 09 March 2026 31 March 2026 22 April 2026 14 May 2026 05 June 2026

Price Distribution

Price distribution over 89 days • 2 price levels

Days at Price
Current Price
77 days 12 days · current 0 19 39 58 77 £90 £93 Days at Price

Price Analysis

Most common price: £90 (77 days, 86.5%)

Price range: £90 - £93

Price levels: 2 different prices over 89 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
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 05 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

£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
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
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 04 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
Interactive Theorem Proving: 9th International Conference, ITP 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, ... (Lecture Notes in Computer Science, 10895)
79% match

Interactive Theorem Proving: 9th International Conference, ITP 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, ... (Lecture Notes in Computer Science, 10895)

Springer

£69.43 11 May 2026
Fixed Point Theory (Springer Monographs in Mathematics)
79% match

Fixed Point Theory (Springer Monographs in Mathematics)

Springer

£199.99 06 Jun 2026
Handbook of Applied Analysis: 19 (Advances in Mechanics and Mathematics, 19)
79% match

Handbook of Applied Analysis: 19 (Advances in Mechanics and Mathematics, 19)

Springer

£106.20 05 Jun 2026
Mathematical Foundations of Time Series Analysis: A Concise Introduction
79% match

Mathematical Foundations of Time Series Analysis: A Concise Introduction

Springer

£110.46 19 May 2026