عنوان
پدید آورنده
موضوع
رده
QA 9.56 .T74 1988
QA
9
.
56
.
T74
1988
کتابخانه
محل استقرار
Constructivism in mathematics
Amsterdam
North-Holland
1988
2v
1
1
2
2
Studies in logic and the foundations of matheamtics; Vol. 121,321
Bibliogrpahy: V.1, p. ]327[-342; V.2, p. 853-879
ISBN: 0444702660
A.S. Troelstra, D. van Dalen
1
2
1
2
، Constructive mathematics
QA
9
.
56
.
T74
1988
Troelstra, Anne Sjerp
AU
AU Dalen, Dirk van, 1932-
TI
SE
