£133.70

About as cheap as it gets — within 5% of the all-time low it hit 2 months ago.

£134 today · all-time low £130 (Sep 2026) · usually the usual

Springer Truth, Proof and Infinity: A Theory of Constructive Reasoning: 276 (Synthese Library, 276)

View at Amazon

Price History & Forecast

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

Last 55 days · 55 data points (no recent data)

Historical
Generating forecast…
£134.17 £129.87 £130.81 £131.75 £132.68 £133.62 £134.56 12 August 2026 25 August 2026 08 September 2026 21 September 2026 05 October 2026
View at Amazon ↗

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

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 Distribution

Price distribution over 55 days • 4 price levels

Days at Price
Current Price
15 days 13 days 2 days 25 days · current 0 6 13 19 25 £130 £132 £133 £134 Days at Price

Price Analysis

Most common price: £134 (25 days, 45.5%)

Price range: £130 - £134

Price levels: 4 different prices over 55 days

Description

Constructive mathematics is based on the thesis that the meaning of a mathematical formula is given, not by its truth-conditions, but in terms of what constructions count as a proof of it. However, the meaning of the terms `construction' and `proof' has never been adequately explained (although Kriesel, Goodman and Martin-Löf have attempted axiomatisations). This monograph develops precise (though not wholly formal) definitions of construction and proof, and describes the algorithmic substructure underlying intuitionistic logic. Interpretations of Heyting arithmetic and constructive analysis are given. The philosophical basis of constructivism is explored thoroughly in Part I. The author seeks to answer objections from platonists and to reconcile his position with the central insights of Hilbert's formalism and logic. Audience: Philosophers of mathematics and logicians, both academic and graduate students, particularly those interested in Brouwer and Hilbert; theoretical computer scientists interested in the foundations of functional programming languages and program correctness calculi.

Product Specifications

Format
paperback
Domain
Amazon UK
Release Date
07 December 2010
Listed Since
20 September 2010

Barcode

No barcode data available

Similar Products You Might Like

Truth, Proof and Infinity: A Theory of Constructive Reasoning: 276 (Synthese Library, 276)
99% match

Truth, Proof and Infinity: A Theory of Constructive Reasoning: 276 (Synthese Library, 276)

Springer

£133.50 24 Sep 2026
Constructivism in Mathematics, Vol 1 (Volume 121) (Studies in Logic and the Foundations of Mathematics, Volume 121)
96% match

Constructivism in Mathematics, Vol 1 (Volume 121) (Studies in Logic and the Foundations of Mathematics, Volume 121)

Elsevier

£38.99 19 Sep 2026
Varieties of Constructive Mathematics: 97 (London Mathematical Society Lecture Note Series, Series Number 97)
96% match

Varieties of Constructive Mathematics: 97 (London Mathematical Society Lecture Note Series, Series Number 97)

Cambridge University Press

£56.86 26 Sep 2026
Foundations of Constructive Mathematics: Metamathematical Studies: 6 (Ergebnisse der Mathematik und ihrer Grenzgebiete. 3. Folge / A Series of Modern Surveys in Mathematics, 6)
96% match

Foundations of Constructive Mathematics: Metamathematical Studies: 6 (Ergebnisse der Mathematik und ihrer Grenzgebiete. 3. Folge / A Series of Modern Surveys in Mathematics, 6)

Springer

£92.22 02 Sep 2026
Cambridge Handbook of Constructive Mathematics Textbook
96% match

Cambridge Handbook of Constructive Mathematics Textbook

Cambridge University Press

£110.00 08 Sep 2026
Epistemology versus Ontology: Essays on the Philosophy and Foundations of Mathematics in Honour of Per Martin-Löf: 27 (Logic, Epistemology, and the Unity of Science, 27)
95% match

Epistemology versus Ontology: Essays on the Philosophy and Foundations of Mathematics in Honour of Per Martin-Löf: 27 (Logic, Epistemology, and the Unity of Science, 27)

Springer

£141.04 24 Sep 2026
Essays in Constructive Mathematics
95% match

Essays in Constructive Mathematics

Springer

£96.15 05 Oct 2026
A Course in Constructive Algebra (Universitext)
95% match

A Course in Constructive Algebra (Universitext)

Springer

£79.88 07 Oct 2026
Cambridge Constructibility by Keith J. Devlin - Logic Book
95% match

Cambridge Constructibility by Keith J. Devlin - Logic Book

Cambridge University Press

Price unavailable
Intuitionistic Proof Versus Classical Truth: The Role of Brouwer’s Creative Subject in Intuitionistic Mathematics: 42 (Logic, Epistemology, and the Unity of Science, 42)
95% match

Intuitionistic Proof Versus Classical Truth: The Role of Brouwer’s Creative Subject in Intuitionistic Mathematics: 42 (Logic, Epistemology, and the Unity of Science, 42)

Springer

£75.61 26 Sep 2026
Computational Logic: 165 (NATO ASI Subseries F:, 165)
94% match

Computational Logic: 165 (NATO ASI Subseries F:, 165)

Springer

£108.01 29 Aug 2026
Logic and Structure (Universitext)
94% match

Logic and Structure (Universitext)

Springer

£52.79 01 Oct 2026
Nominalistic Systems: 30 (Synthese Library, 30)
94% match

Nominalistic Systems: 30 (Synthese Library, 30)

Springer

£41.43 07 Oct 2026
Lectures on the Curry-Howard Isomorphism
94% match

Lectures on the Curry-Howard Isomorphism

Elsevier

£105.00 31 Oct 2026
Constructivism and Education
94% match

Constructivism and Education

Cambridge University Press

£99.99 03 Oct 2026
Mathematical Intuitionism: Introduction to Proof Theory (Translations of Mathematical Monographs)
94% match

Mathematical Intuitionism: Introduction to Proof Theory (Translations of Mathematical Monographs)

£86.50 02 Oct 2026
Intensional Mathematics
94% match

Intensional Mathematics

North Holland

£49.99 01 Oct 2026
Constructivism and Education
94% match

Constructivism and Education

Cambridge University Press

£42.99 09 Oct 2026
Truth, Existence and Explanation: FilMat 2016 Studies in the Philosophy of Mathematics: 334 (Boston Studies in the Philosophy and History of Science, 334)
94% match

Truth, Existence and Explanation: FilMat 2016 Studies in the Philosophy of Mathematics: 334 (Boston Studies in the Philosophy and History of Science, 334)

Springer

£64.04 07 Sep 2026
Proof And Computation II: From Proof Theory And Univalent Mathematics To Program Extraction And Verification
94% match

Proof And Computation II: From Proof Theory And Univalent Mathematics To Program Extraction And Verification

World Scientific Publishing Company

£74.70 09 Oct 2026
Lingua Universalis vs. Calculus Ratiocinator:: An Ultimate Presupposition of Twentieth-Century Philosophy: 2 (Jaakko Hintikka Selected Papers, 2)
94% match

Lingua Universalis vs. Calculus Ratiocinator:: An Ultimate Presupposition of Twentieth-Century Philosophy: 2 (Jaakko Hintikka Selected Papers, 2)

Springer

£157.39 05 Oct 2026
An den Grenzen des Endlichen: Das Hilbertprogramm im Kontext von Formalismus und Finitismus: 4 (Mathematik im Kontext)
94% match

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

Springer Spektrum

£49.14 03 Oct 2026
A Modern Perspective on Type Theory: From its Origins until Today: 29 (Applied Logic Series, 29)
94% match

A Modern Perspective on Type Theory: From its Origins until Today: 29 (Applied Logic Series, 29)

Springer

£92.22 19 Sep 2026
Springer - A Modern Perspective on Type Theory - Applied Logic
94% match

Springer - A Modern Perspective on Type Theory - Applied Logic

Springer

£149.02 28 Oct 2026