TY  - BOOK
AU  - Troelstra, A.S.
AU  - Dalen,van.D.
TI  - Constructivism in mathematics.vol.1
SN  - 0444702660
U1  - 511.3 
PY  - 1995///
CY  - Amsterdam
PB  - Elsevier
ER  -