Troelstra,, A. S.
Constructivism in mathematics : an introduction / A. S. Troelstra, D. van Dalen
Constructivism in mathematics : an introduction / A. S. Troelstra, D. van Dalen
. - Amsterdam : North Holland, 1988
. - 2 v. 23 cm
. - (Studies in logic and foundations of mathematics; 121,123)
. -
vol.1 : XX, 342, XIV pvol.2 : XVII p., p. 345-879, LII p.
0-444-70506-6 (v.1) Brochado0-444-70358-6 (v.2) Encadernado
510.25