Constructivism in mathematics : an introduction / A.S. Troelstra, D. van Dalen.

Bibliographic Details

Main Author:	Troelstra, A. S. (Anne Sjerp)
Other Authors:	Dalen, D. van (Dirk), 1932-
Language:	English
Published:	Amsterdam ; New York : New York, N.Y. : North-Holland ; Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co., 1988.
Series:	Studies in logic and the foundations of mathematics ; v. 121, etc.
Subjects:	Constructive mathematics.
Physical Description:	2 volumes (xx, 879, lii pages) : illustrations ; 23 cm.
Format:	Book