£132.05

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

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

View at Amazon

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

About as cheap as it gets. The only time it was cheaper was 2 months ago.

£132 today · all-time low £132 (May 2026) · usually £132

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

Historical
Generating forecast…
£135.49 £131.14 £132.09 £133.04 £133.99 £134.94 £135.89 09 May 2026 26 May 2026 12 June 2026 29 June 2026 17 July 2026

Price Distribution

Price distribution over 70 days • 2 price levels

Days at Price
Current Price
59 days · current 11 days 0 15 30 44 59 £132 £135 Days at Price

Price Analysis

Most common price: £132 (59 days, 84.3%)

Price range: £132 - £135

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

£148.29 09 Jul 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

£43.99 07 Jul 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

£46.96 11 Jul 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.65 24 Jun 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 29 Jun 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

£137.25 09 Jul 2026
Essays in Constructive Mathematics
95% match

Essays in Constructive Mathematics

Springer

£94.76 17 Jul 2026
A Course in Constructive Algebra (Universitext)
95% match

A Course in Constructive Algebra (Universitext)

Springer

£79.67 19 Jul 2026
Constructibility: 6 (Perspectives in Logic, Series Number 6)
95% match

Constructibility: 6 (Perspectives in Logic, Series Number 6)

Cambridge University Press

£136.00 09 Jul 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)
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

£55.76 11 Jul 2026
Computational Logic: 165 (NATO ASI Subseries F:, 165)
94% match

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

Springer

£104.85 24 Jun 2026
Logic and Structure (Universitext)
94% match

Logic and Structure (Universitext)

Springer

£52.79 15 Jul 2026
Nominalistic Systems: 30 (Synthese Library, 30)
94% match

Nominalistic Systems: 30 (Synthese Library, 30)

Springer

£41.40 20 Jul 2026
Lectures on the Curry-Howard Isomorphism
94% match

Lectures on the Curry-Howard Isomorphism

Elsevier

£105.00 12 Jun 2026
Constructivism and Education
94% match

Constructivism and Education

Cambridge University Press

£88.67 16 Jul 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 15 Jul 2026
Intensional Mathematics
94% match

Intensional Mathematics

North Holland

£49.99 15 Jul 2026
Constructivism and Education
94% match

Constructivism and Education

Cambridge University Press

£42.99 23 Jul 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.54 29 Jun 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

£75.46 23 Jul 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

£163.28 17 Jul 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.10 17 Jul 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.20 06 Jul 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

£125.80 10 Jun 2026