Constructivism in mathematics
Subtitle: an introduction
By: A.S. Troelstra, D. van Dalen.
Contributors: Dalen, D. van 1932-
Series: Studies in logic and the foundations of mathematics ;; v. 121; 123; Studies in logic and the foundations of mathematics ;; v. 121, etc.
Publisher: North-Holland; Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co.
Published: 1988
Place of publication: Amsterdam; New York; New York, N.Y
Language: eng
Number of pages: 879
Subjects: Constructive mathematics.
Notes: Includes bibliographies and indexes.