عنوان
پدید آورنده
موضوع
رده
QA 3 .L28 Vol.873
QA
3
.
L28
Vol
.
873
کتابخانه
محل استقرار
Constructive mathematics : proceedings of the New Mexico State University conference held at Las Cruces, New Mexico, August 11-15, 1980
1980: Las Cruces, New Mexico
Berlin
Springer-Verlag
1981
vi, 347p
Lecture notes in mathematics; 378
Includes bibliographies
ISBN: 3540108505
edited by F. Richman
1
Congresses ، Constructive mathematics
Congresses ، Intuitionistic mathematics
QA
3
.
L28
Vol
.
873
AU
AU Richman, Fred, 1938-
TI
SE
New Mexico State University Conference on Constructive Mathematics
