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

£43.29

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: 37.08 GBP
Availability: InStock

Information Systems

Price History & Forecast

Last 38 days • 38 data points (No recent data available)

Historical

Generating forecast...

Price Distribution

Price distribution over 38 days • 2 price levels

Days at Price

Current Price

Price Analysis

Most common price: £37 (34 days, 89.5%)

Price range: £37 - £43

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

Price History & Forecast

Price Distribution

Price Analysis

Description

Product Specifications

Barcode

Similar Products You Might Like

Constructivism in Mathematics, Vol 2 (Volume 123) (Studies in Logic and the Foundations of Mathematics, Volume 123)

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)

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

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

Intensional Mathematics

Introduction to Relation Algebras: Relation Algebras, Volume 1

Éléments de mathématiques pour le XXIe siècle, volume 1: Fondements des mathématiques 1 (logique des propositions et des prédicats, systèmes déductifs ... de Peano, structures algébriques de base)

Mathematical Logic and Formalized Theories: A Survey of Basic Concepts and Results

Mathematical Logic: 291 (Graduate Texts in Mathematics, 291)

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

Mathematical Logic

Constructive Models (Siberian School of Algebra and Logic)

Gödel's Theorems and Zermelo's Axioms: A Firm Foundation of Mathematics

Logic of Mathematics: A Modern Course of Classical Logic: 22 (Pure and Applied Mathematics: A Wiley Series of Texts, Monographs and Tracts)

Gödel's Theorems and Zermelo's Axioms: A Firm Foundation of Mathematics

Introduction to Relation Algebras: Relation Algebras, Volume 1

Special Topics in Mathematics for Computer Scientists: Sets, Categories, Topologies and Measures

Éléments de mathématiques pour le XXIe siècle, volume 2: Fondements des mathématiques 2 (théorie des ensembles, mathématiques discrètes, structures algébriques de base)

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

Philosophy and Foundations of Mathematics: L. E. J. Brouwer

North Holland - Philosophy of Mathematics Book

Mathematical Logic: On Numbers, Sets, Structures, and Symmetry: 4 (Springer Graduate Texts in Philosophy, 4)

A Course in Constructive Algebra (Universitext)

Lectures in Logic and Set Theory: Volume I: Mathematical Logic: 82 (Cambridge Studies in Advanced Mathematics, Series Number 82)