FREE delivery to all EXCLUSIVE BOOKS stores nationwide. FREE delivery to your door on all orders over R450. Excludes all international deliveries.

Constructivism in Mathematics, Vol 1

A.S. Troelstra, D. van Dalen
    Product form
      FORMAT: Hardback

      R 6,521.00 Price and availability exclusive to website

      YOU COULD EARN 6,521 FUTURE RETAIL DISCOUNTS.
      ESTIMATED DELIVERY: Approx. 20 - 30 Business Days
      BUY NOW PAY LATER
      From R 1,086.83 per month!
      3x monthly payments of R 2,173.66 with
      4x fortnightly payments of R 1,630.25 with
      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.
      Format: CONTRIBUTORS: A.S. Troelstra, D. van Dalen EAN: 9780444702661 COUNTRY: United Kingdom PAGES: WEIGHT: 660 g HEIGHT: 234 cm
      PUBLISHED BY: Elsevier Science & Technology DATE PUBLISHED: 1988-07-01 CITY: GENRE: COMPUTERS / Information Theory, MATHEMATICS / General WIDTH: 156 cm SPINE:

      Book Themes:

      Cybernetics and systems theory, Mathematical foundations

      Customer Reviews

      Be the first to write a review
      0%
      (0)
      0%
      (0)
      0%
      (0)
      0%
      (0)
      0%
      (0)
      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.
      Format: CONTRIBUTORS: A.S. Troelstra, D. van Dalen EAN: 9780444702661 COUNTRY: United Kingdom PAGES: WEIGHT: 660 g HEIGHT: 234 cm
      PUBLISHED BY: Elsevier Science & Technology DATE PUBLISHED: 1988-07-01 CITY: GENRE: COMPUTERS / Information Theory, MATHEMATICS / General WIDTH: 156 cm SPINE:

      Book Themes:

      Cybernetics and systems theory, Mathematical foundations

      Customer Reviews

      Be the first to write a review
      0%
      (0)
      0%
      (0)
      0%
      (0)
      0%
      (0)
      0%
      (0)

      Recently viewed products

      Login

      Forgot your password?

      Don't have an account yet?
      Create account