TY  - BOOK
AU  - Troelstra,A.S.
AU  - Dalen,D.van
TI  - Constructivism in mathematics: an introduction 
U1  - 311.3 
PY  - 1988///-
CY  - Amsterdam
PB  - North-Holland
KW  - Constructive mathematics
N1  - Library has vol.2
ER  -