TY  - BOOK
AU  - Troelstra,A.S.
AU  - Dalen,D.van
TI  - Constructivism in mathematics: an introduction 
SN  - 0444702660
PY  - 1988///
CY  - Amsterdam
PB  - North-Holland
KW  - Construction mathematics
N1  - Bibliography : p. 327-342
ER  -