Constructivism in mathematics : an introduction. Volume I /
Troelstra, A. S.
Constructivism in mathematics : an introduction. Volume I / 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. (xx, 879, lii p.) : ill. - Studies in logic and the foundations of mathematics ; v. 121; 123 . - Studies in logic and the foundations of mathematics ; v. 121, etc. .
0444702660 (v. 1)
90042059
Constructive mathematics.
Constructivism in mathematics : an introduction. Volume I / 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. (xx, 879, lii p.) : ill. - Studies in logic and the foundations of mathematics ; v. 121; 123 . - Studies in logic and the foundations of mathematics ; v. 121, etc. .
0444702660 (v. 1)
90042059
Constructive mathematics.