Title :
Constructivism in mathematics
Author Statement :
A.S. Troelstra, D. van Dalen
Publication :
North-Holland ;Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co.
Collation :
2 v. (xx, 879, lii p.) : ill. ; 23 cm
Series :
Studies in logic and the foundations of mathematics
Subject :
Constructive mathematics
ADDED ENTRIES :
Dalen, D. van , ,
SubTitle :
an introduction
Index :
Includes bibliographies and indexes
