TY  - BOOK
AU  - Troelstra, A. S
AU  - Dalen, D. van 
TI  - Constriuctivisim in mathematics: an introduction
SN  - 9780444702661
U1  - 510.25 
PY  - 1988///
CY  - Boston
PB  - Elsevier
KW  - CONSTRUCTIVE MATHEMATICS
ER  -