عنوان
پدید آورنده
موضوع
رده
QA 1 .L4 v.873
QA
1
.
L4
v
.
873
کتابخانه
محل استقرار
English
Constructive mathematics : proceedings of the New Mexico State University conference held at Las Cruces, New Mexico, August 11-15, 1980
Berlin, New York
Springer-Verlag
1981
vi, 347 p. ; 25 cm
Lecture notes in mathematics, 378
Includes bibliographical references and index
Includes bibliographical references and index
edited by F. Richman
1
Congresses ، Constructive mathematics
Congresses ، Intuitionistic mathematics
QA
1
.
L4
v
.
873
CA
510
s
TI
AU Richman, Fred 1938-
SE
