Constructivism in Mathematics: An Introduction.
| Author/creator | Troelstra, A. S. Author |
| Other author | Van Dalen, D. Author |
| Format | Electronic |
| Publication Info | North Holland [Imprint] San Diego : Elsevier Science & Technology Books |
| Description | 586 p. ill |
| Supplemental Content | Full text available from eBook - Mathematics pre-2007 |
| Subjects |
| Series | Studies in Logic and the Foundations of Mathematics Ser. No. 123 |
| Summary | Annotation 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. |
| Access restriction | Available only to authorized users. |
| Technical details | Mode of access: World Wide Web |
| Genre/form | Electronic books. |
| LCCN | 88005240 |
| ISBN | 9780444703583 |
| ISBN | 0444703586 (Trade Cloth) Active Record |
| Standard identifier# | 9780444703583 |
| Stock number | 00991439 |
Availability
| Library | Location | Call Number | Status | Item Actions |
|---|---|---|---|---|
| Electronic Resources | Access Content Online | ✔ Available |