Constructive mathematics proceedings of the New Mexico State University conference held at Las Cruces, New Mexico, August 11-15, 1980
Constructive mathematics proceedings of the New Mexico State University conference held at Las Cruces, New Mexico, August 11-15, 1980
edited by F. Richman. --
- Berlin New York Springer-Verlag 1981
- vi, 347 p. --
- Lecture notes in mathematics 873 co75-8434 .
- Lecture notes in mathematics (Springer-Verlag) .
Contine index
0387108505
81009345
Constructive mathematics--Congresses
Intuitionistic mathematics--Congresses
Contine index
0387108505
81009345
Constructive mathematics--Congresses
Intuitionistic mathematics--Congresses