Constructivism in mathematics :
Troelstra, A. S.
Constructivism in mathematics : an introduction, V1 A.S. Troelstra, D. van Dalen. - Amsterdam ; New York : New York, N.Y. : North-Holland ; Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co., 1988. - 2 v. xv, 342p. ill. ; - Studies in logic and the foundations of mathematics ; v. 121; 123 .
Constructive mathematics.
510.25 / TRO.1
Constructivism in mathematics : an introduction, V1 A.S. Troelstra, D. van Dalen. - Amsterdam ; New York : New York, N.Y. : North-Holland ; Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co., 1988. - 2 v. xv, 342p. ill. ; - Studies in logic and the foundations of mathematics ; v. 121; 123 .
Constructive mathematics.
510.25 / TRO.1