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 ...
Read More
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.
Read Less
Add this copy of Constructivism in Mathematics, Vol 1 to cart. $89.08, new condition, Sold by Booksplease rated 4.0 out of 5 stars, ships from Southport, MERSEYSIDE, UNITED KINGDOM, published 1988 by Elsevier Science Ltd.
Add this copy of Constructivism in Mathematics, Vol 1 (Volume 121) to cart. $110.73, good condition, Sold by Bonita rated 4.0 out of 5 stars, ships from Newport Coast, CA, UNITED STATES, published 1988 by Elsevier Science.
Add this copy of Constructivism in Mathematics, Vol 1 (Volume 121) to cart. $153.30, new condition, Sold by Bonita rated 4.0 out of 5 stars, ships from Newport Coast, CA, UNITED STATES, published 1988 by Elsevier Science.
Add this copy of Constructivism in Mathematics, Vol 1 (Volume 121) to cart. $174.35, new condition, Sold by GridFreed rated 5.0 out of 5 stars, ships from North Las Vegas, NV, UNITED STATES, published 1988 by Elsevier Science.
Add this copy of Constructivism in Mathematics, Vol 1: Volume 121 to cart. $240.65, new condition, Sold by Ria Christie Books rated 5.0 out of 5 stars, ships from Uxbridge, MIDDLESEX, UNITED KINGDOM, published 1988 by Elsevier Science Ltd.
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
New. 355 p. Studies in Logic and the Foundations of Mathematics . Intended for professional and scholarly audience. Intended for college/higher education audience.
Add this copy of Constructivism in Mathematics, Vol 1: Volume 121 to cart. $256.66, new condition, Sold by Ingram Customer Returns Center rated 5.0 out of 5 stars, ships from NV, USA, published 1988 by Elsevier Science Ltd.
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
New. 355 p. Studies in Logic and the Foundations of Mathematics . Intended for college/higher education audience. Intended for professional and scholarly audience.