 |
|
| CONSTRUCTIVISM IN MATHEMATICS
| |
| | |
|
|
 An Introduction
Buy online with a credit card in the Elsevier Science & Technology Bookstore:  http://books.elsevier.com/elsevier/?isbn=0444702660
By
A.S. Troelstra
D. Van Dalen
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-Löf'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.
Volumes
Volume 1
Volume 2
Bibliographic & ordering Information |
Volume 1
Hardbound, xx + 358 pages, publication date: JUL-1988
ISBN: 0-444-70266-0
Imprint: NORTH-HOLLAND
Volume 1
Paperback, publication date: AUG-1988
ISBN: 0-444-70506-6
Imprint: NORTH-HOLLAND
|
Price:
EUR 143
USD 147
GBP 96
Price:
USD 50
GBP 33.50
EUR 50
| 
|
Volume 2
Hardbound, xviii + 586 pages, publication date: JUL-2004
ISBN: 0-444-70358-6
Imprint: NORTH-HOLLAND
|
Price:
EUR 143
USD 147
GBP 96
|
|
050/500
Last update: 26 Sep 2008
|
|
| |
| | |
|
|
| |
