 |
|
| 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,
ISBN: 0-444-70266-0, xx + 358 pages, publication date: JUL-1988
Imprint: NORTH-HOLLAND
Price: Order form
EUR 143
USD 147
GBP 96
Volume 1
Paperback,
ISBN: 0-444-70506-6, publication date: AUG-1988
Imprint: NORTH-HOLLAND
Price: Order form
GBP 33.50
USD 50
EUR 50
Volume 2
Hardbound,
ISBN: 0-444-70358-6, xviii + 586 pages, publication date: JUL-2004
Imprint: NORTH-HOLLAND
Price: Order form
EUR 143
USD 147
GBP 96
Books and book related electronic products are priced in US dollars (USD), euro (EUR), and Great Britain Pounds (GBP). USD prices apply to the Americas and Asia Pacific. EUR prices apply in Europe and the Middle East. GBP prices apply to the UK and all other countries.
See also information about conditions of sale & ordering procedures, and links to our regional sales offices.
050/500
Last update: 4 Jul 2008
|
|
| |
| | |
|
|
| |
