click to view more

Constructivism in Mathematics, Vol 1: Volume 121

by Troelstra, A S

$236.55

add to favourite
  • In Stock - Ship in 24 hours with Free Online tracking.
  • FREE DELIVERY by Tuesday, July 22, 2025
  • 24/24 Online
  • Yes High Speed
  • Yes Protection

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.

Last updated on

Product Details

  • Elsevier Science Brand
  • Jul 1, 1988 Pub Date:
  • 9780444702661 ISBN-13:
  • 0444702660 ISBN-10:
  • 355 Pages
  • English Language
  • 9.21 in * 6.14 in * 0.88 in Dimensions:
  • 2 lb Weight: