|
" Constructivism in mathematics : "
A.S. Troelstra, D. van Dalen
| Document Type
|
:
|
BL
|
| Record Number
|
:
|
583346
|
| Doc. No
|
:
|
b412565
|
| Main Entry
|
:
|
Troelstra, A. S., (Anne Sjerp)
|
| Title & Author
|
:
|
Constructivism in mathematics : : an introduction /\ A.S. Troelstra, D. van Dalen
|
| Publication Statement
|
:
|
Amsterdam ;New York :: North-Holland ;New York, N.Y. :: Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co.,, 1988-
|
| Series Statement
|
:
|
Studies in logic and the foundations of mathematics ;; v. 121-
|
| Page. NO
|
:
|
v. ;; 23 cm
|
| ISBN
|
:
|
0444702660 (v. 1)
|
|
|
:
|
0444703586
|
| Notes
|
:
|
Includes index
|
| Bibliographies/Indexes
|
:
|
Bibliography: v. 1, p. [327]-342
|
| Subject
|
:
|
Constructive mathematics
|
| Dewey Classification
|
:
|
511.3
|
| LC Classification
|
:
|
QA9.56.T74 1988
|
| Added Entry
|
:
|
Dalen, D. van, (Dirk),1932-
|
| |