TY  - BOOK
AU  - Troelstra,Anne S.
AU  - Dalen,Dirk van
TI  - Constructivism in mathematics
T2  - Studies in logic and the foundations of mathematics
SN  - 0444702660
PY  - 1988///
CY  - Amsterdam
PB  - North-Holland
UR  - https://zbmath.org/?q=an:0653.03040
ER  -