عنوان
پدید آورنده
موضوع
رده
QA 9 .56 .T74 1988
QA
9
.
56
.
T74
1988
کتابخانه
محل استقرار
107370
پائیز۴۷
English
)20(
Troelstra, A. S.)Anne Sjerp(
Constructivism in mathematics : an introduction
Amsterdam
North-Holland
1988
2 v. )xx, 879, lii p.( : ill. ; 23 cm
Studies in logic and the foundations of mathematics; v. 121; 321
Includes bibliographies and indexes
، Constructive mathematics
QA
9
.
56
.
T74
1988
AU
A.S. Troelstra, D. van Dalen
AU (kriD)nav .D ,nelaD 1932-
TI
SE
02
