£133.50

It has never been this cheap. We have no record of a lower price.

£134 today · cheaper than every other day in the last 3 months

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

Historical
Generating forecast…
£148.29 £132.02 £135.57 £139.12 £142.67 £146.22 £149.77 25 July 2026 09 August 2026 24 August 2026 08 September 2026 24 September 2026
View at Amazon ↗

Price data last checked 29 day(s) ago - will refresh soon

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 62 days • 2 price levels

Days at Price
Current Price
31 days · current 31 days 0 8 16 23 31 £134 £148 Days at Price

Price Analysis

Most common price: £134 (31 days, 50.0%)

Price range: £134 - £148

Price levels: 2 different prices over 62 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.

Key Features

Used Book in Good Condition

Product Specifications

Format
hardcover
Domain
Amazon UK
Release Date
31 October 1998
Listed Since
15 December 2006

Barcode

No barcode data available

Similar Products You Might Like

Constructivism in Mathematics, Vol 1 (Volume 121) (Studies in Logic and the Foundations of Mathematics, Volume 121)
97% 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
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)
96% 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
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
Handbook of Constructive Mathematics (Encyclopedia of Mathematics and its Applications)
96% match

Handbook of Constructive Mathematics (Encyclopedia of Mathematics and its Applications)

Cambridge University Press

£110.00 08 Sep 2026
Cambridge Constructibility by Keith J. Devlin - Logic Book
95% match

Cambridge Constructibility by Keith J. Devlin - Logic Book

Cambridge University Press

Price unavailable
Logic and Structure (Universitext)
95% match

Logic and Structure (Universitext)

Springer

£52.79 01 Oct 2026
Computational Logic: 165 (NATO ASI Subseries F:, 165)
95% match

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

Springer

£108.01 29 Aug 2026
Intensional Mathematics
94% match

Intensional Mathematics

North Holland

£49.99 01 Oct 2026
Intuitionistic Proof Versus Classical Truth: The Role of Brouwer’s Creative Subject in Intuitionistic Mathematics: 42 (Logic, Epistemology, and the Unity of Science, 42)
94% 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
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
Logical Studies of Paraconsistent Reasoning in Science and Mathematics: 45 (Trends in Logic, 45)
94% match

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

Springer

£38.40 03 Oct 2026
Logical Studies of Paraconsistent Reasoning in Science and Mathematics: 45 (Trends in Logic, 45)
94% match

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

Springer

£41.43 23 Sep 2026
Substructural Logics: A Primer: 13 (Trends in Logic, 13)
94% match

Substructural Logics: A Primer: 13 (Trends in Logic, 13)

Springer

£151.20 24 Sep 2026
Functional Interpretations: From the Dialectica Interpretation to Functional Interpretations of Analysis and Set Theory
94% match

Functional Interpretations: From the Dialectica Interpretation to Functional Interpretations of Analysis and Set Theory

World Scientific Publishing Company

£70.96 23 Sep 2026
Essays in Philosophy and History of Logic Mathematics - Volume 98
94% match

Essays in Philosophy and History of Logic Mathematics - Volume 98

Brill

£82.17 25 Sep 2026
Logic Colloquium '95: Proceedings of the Annual European Summer Meeting of the Association of Symbolic Logic, held in Haifa, Israel, August 9–18, 1995: 11 (Lecture Notes in Logic, Series Number 11)
94% match

Logic Colloquium '95: Proceedings of the Annual European Summer Meeting of the Association of Symbolic Logic, held in Haifa, Israel, August 9–18, 1995: 11 (Lecture Notes in Logic, Series Number 11)

Cambridge University Press

£49.99 24 Sep 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
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
Topics in Modern Logic: 14 (Routledge Library Editions: Logic)
94% match

Topics in Modern Logic: 14 (Routledge Library Editions: Logic)

Routledge

£98.25 24 Sep 2026
Proof and Computation: 139 (NATO ASI Subseries F:, 139)
94% match

Proof and Computation: 139 (NATO ASI Subseries F:, 139)

Springer

£77.89 18 Sep 2026
Algebra, Meaning, and Computation: Essays dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday: 4060 (Lecture Notes in Computer Science, 4060)
94% match

Algebra, Meaning, and Computation: Essays dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday: 4060 (Lecture Notes in Computer Science, 4060)

Springer

£59.83 23 Sep 2026
Philosophy's Loss of Logic to Mathematics: An Inadequately Understood Take-Over: 43 (Studies in Applied Philosophy, Epistemology and Rational Ethics, 43)
94% match

Philosophy's Loss of Logic to Mathematics: An Inadequately Understood Take-Over: 43 (Studies in Applied Philosophy, Epistemology and Rational Ethics, 43)

Springer

£47.83 08 Sep 2026
Lectures in Logic and Set Theory: 83 (Cambridge Studies in Advanced Mathematics, Series Number 83)
94% match

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

Cambridge University Press

£59.89 08 Sep 2026