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

£43.99

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

Name: Constructivism in Mathematics, Vol 1 (Volume 121) (Studies in Logic and the Foundations of Mathematics, Volume 121)
Brand: Elsevier
Price: 43.99 GBP
Availability: InStock

Information Systems

This is the most expensive it has ever been. Walk away.

£44 today · previous high £44 · all-time low £39

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

Historical

Generating forecast…

Price Distribution

Price distribution over 73 days • 3 price levels

Days at Price

Current Price

Price Analysis

Most common price: £39 (36 days, 49.3%)

Price range: £39 - £44

Price levels: 3 different prices over 73 days

Description

These two volumes cover the principal approaches to constructivism in mathematics. They present a thorough, up-to-date introduction to the metamathematics of constructive mathematics, paying special attention to Intuitionism, Markov's constructivism and Martin-Lof's type theory with its operational semantics. A detailed exposition of the basic features of constructive mathematics, with illustrations from analysis, algebra and topology, is provided, with due attention to the metamathematical aspects. Volume 1 is a self-contained introduction to the practice and foundations of constructivism, and does not require specialized knowledge beyond basic mathematical logic. Volume 2 contains mainly advanced topics of a proof-theoretical and semantical nature.

Product Specifications

Brand: Elsevier
Format: hardcover
ASIN: 0444702660
Category: Books > Subjects > Computing & Internet > Computer Science > Information Systems
Domain: Amazon UK
Release Date: 05 July 1988
Listed Since: 05 February 2007

Barcode

No barcode data available

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

This is the most expensive it has ever been. Walk away.

Price History & Forecast

Price Distribution

Price Analysis

Description

Product Specifications

Barcode

Similar Products You Might Like

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

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

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)

Logic and Structure (Universitext)

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

Intensional Mathematics

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)

Introduction to Mathematical Logic: Set Theory Computable Functions Model Theory (Undergraduate Texts in Mathematics)

Foundations without Foundationalism: A Case for Second-order Logic (Oxford Logic Guides)

Social Constructivism as Paradigm?: The Legacy of The Social Construction of Reality (Knowledge, Communication and Society)

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

Constructivism and Education

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

RADICAL CONSTRUCTIVISM: A Way of Knowing and Learning (Studies in Mathematics Education Series, 6)

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