Original language | English |
---|---|
Title of host publication | Constructive Mathematics |
Subtitle of host publication | Proceedings of the New Mexico State University Conference Held at Las Cruces, New Mexico, August 11-15, 1980 |
Editors | Fred Richman |
Place of Publication | Berlin, Germany |
Publisher | Springer |
Pages | 31-43 |
Number of pages | 13 |
ISBN (Print) | 978-3-540-10850-4 |
DOIs | |
Publication status | Published - 1981 |
Publication series
Name | Springer Lecture Notes in Mathematics |
---|---|
Publisher | Springer |
Volume | 873 |
ISSN (Print) | 0075-8434 |