TY  - BOOK
AU  - Troelstra,A.S.
AU  - Dalen,D.van
TI  - Constructivism in mathematics: an introduction 
T2  - Studies in logic and the foundations of mathematics
PY  - 1988///
CY  - Amsterdam
PB  - North-Holland
KW  - Constructive mathematics
ER  -