عنوان
پدید آورنده
موضوع
رده
QA 3 .L28 no.873
QA
3
.
L28
no
.
873
کتابخانه
محل استقرار
77755
تابستان۰۹
English
)20(
Constructive mathematics: proceedings of the New Mexico State University conference held at Las Cruces, New Mexico, August 11-15, 1980
Berlin
Springer-Verlag
1981
vi, 347 p.: 25 cm
Lecture notes in mathematics
873
Includes bibliographical references and index
Congresses ، Constructive mathematics
Congresses ، Intuitionistic mathematics
QA
3
.
L28
no
.
873
TI
edited by F. Richman
AU derF ,namhciR 1938-
SE
02
