Search - Constructivism in Mathematics, Vol. 2 (Studies in Logic and the Foundations of Mathematics)

Constructivism in Mathematics, Vol. 2 (Studies in Logic and the Foundations of Mathematics)
Constructivism in Mathematics Vol 2 - Studies in Logic and the Foundations of Mathematics
Author: A. S. Troelstra, D. van Dalen
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 f...  more »
ISBN-13: 9780444703583
ISBN-10: 0444703586
Publication Date: 11/15/1988
Pages: 586
Rating:
  ?

0 stars, based on 0 rating
Publisher: Elsevier Science
Book Type: Hardcover
Members Wishing: 0
Reviews: Amazon | Write a Review