Constructivism in mathematics: an introduction/
Troelstra, A. S.
Constructivism in mathematics: an introduction/ A.S. Troelstra, D. van Dalen. - Amsterdam; New York: New York: North-Holland, Sole distributors for the U.S.A. and Canada, Elsevier Science, 1988. - 2 v. (xx, 879, lii p.): ill.; 23 cm. - Studies in logic and the foundations of mathematics; v. 121; 123. . - Studies in logic and the foundations of mathematics; v. 121. .
Includes bibliographies and indexes.
0444702660 (v. 1)
88005240 //r89
Constructive mathematics.
Logica Matematica.
Teoria Dos Conjuntos (Textos Introdutorios)
511.3 / T843c
Constructivism in mathematics: an introduction/ A.S. Troelstra, D. van Dalen. - Amsterdam; New York: New York: North-Holland, Sole distributors for the U.S.A. and Canada, Elsevier Science, 1988. - 2 v. (xx, 879, lii p.): ill.; 23 cm. - Studies in logic and the foundations of mathematics; v. 121; 123. . - Studies in logic and the foundations of mathematics; v. 121. .
Includes bibliographies and indexes.
0444702660 (v. 1)
88005240 //r89
Constructive mathematics.
Logica Matematica.
Teoria Dos Conjuntos (Textos Introdutorios)
511.3 / T843c