Constructive mathematics : proceedings of the New Mexico State University conference held at Las Cruces, New Mexico, August 11-15, 1980 / edited by F. Richman.

Saved in:

Bibliographic Details
Other Authors:	Richman, Fred
Format:	Book
Language:	English
Published:	Berlin ; New York : Springer-Verlag, 1981.
Series:	Lecture notes in mathematics (Springer-Verlag) ; 873.
Subjects:	Constructive mathematics > Congresses. Intuitionistic mathematics > Congresses.

Holdings details from Science Library
Call Number:	QA9.56 .C6
Status:	Available

Similar Items