Constructive mathematics
Subtitle: proceedings of the New Mexico State University conference held at Las Cruces, New Mexico, August 11-15, 1980
By: edited by F. Richman.
Contributors: Richman, Fred, 1938-
Series: Lecture notes in mathematics ;; 873; Lecture notes in mathematics (Springer-Verlag) ;; 873.
Publisher: Springer-Verlag
Published: 1981
Place of publication: Berlin; New York
Language: eng
Number of pages: 347
Subjects: Constructive mathematics -- Congresses.; Intuitionistic mathematics -- Congresses.
Notes: Includes bibliographical references and index.