TY  - BOOK
AU  - Troelstra,A.S.
AU  - Troelstra,A.S.
AU  - Dalen,D.Van
TI  - Constructivism in mathematics: an introduction. Vol. 2
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  -