TY  - BOOK
AU  - Troelstra,A.S.
AU  - Troelstra,A.S.
AU  - Dalen,D.van
TI  - Constructivism in mathematics: an introduction, V1
T2  - Studies in logic and the foundations of mathematics
PY  - 1988///
CY  - Amsterdam, New York, New York, N.Y.
PB  - North-Holland, Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co.
KW  - Constructive mathematics
ER  -