£132.51

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

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

View at Amazon

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

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

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

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 42 days • 42 data points (No recent data available)

Historical
Generating forecast...
£132.51 £125.88 £128.53 £131.18 £133.84 £136.49 £139.14 14 March 2026 24 March 2026 03 April 2026 13 April 2026 24 April 2026

Price Distribution

Price distribution over 42 days • 1 price levels

Days at Price
42 days 0 11 21 32 42 £133 Days at Price

Price Analysis

Most common price: £133 (42 days, 100.0%)

Price range: £133 - £133

Price levels: 1 different prices over 42 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

£146.24 09 Mar 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.29 03 Mar 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.44 17 Mar 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

£88.71 05 Feb 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

£112.74 15 Feb 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

£138.36 09 Mar 2026
Essays in Constructive Mathematics
95% match

Essays in Constructive Mathematics

Springer

£91.63 23 Apr 2026
A Course in Constructive Algebra (Universitext)
95% match

A Course in Constructive Algebra (Universitext)

Springer

£72.66 27 Apr 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 Mar 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

£63.30 16 Mar 2026
Computational Logic: 165 (NATO ASI Subseries F:, 165)
94% match

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

Springer

£111.23 04 Feb 2026
Logic and Structure (Universitext)
94% match

Logic and Structure (Universitext)

Springer

£48.08 14 Apr 2026
Nominalistic Systems: 30 (Synthese Library, 30)
94% match

Nominalistic Systems: 30 (Synthese Library, 30)

Springer

£41.40 28 Apr 2026
Lectures on the Curry-Howard Isomorphism
94% match

Lectures on the Curry-Howard Isomorphism

£105.00 10 Jan 2026
Constructivism and Education
94% match

Constructivism and Education

Cambridge University Press

£86.59 19 Apr 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 17 Apr 2026
Intensional Mathematics
94% match

Intensional Mathematics

£49.99 14 Apr 2026
Constructivism and Education
94% match

Constructivism and Education

Cambridge University Press

£40.38 01 May 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

£67.13 13 Feb 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.87 01 May 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.24 24 Apr 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

£48.73 21 Apr 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

£96.05 02 Mar 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