عنوان
پدید آورنده
موضوع
رده
QA 9 .H46
QA
9
.
H46
کتابخانه
محل استقرار
34924
English
Heyting, Arend
8981-
Intuitionism. An introduction
Amsterdam
North-Holland Pub. Co.
1956
136 p. 23 cm
Studies in logic and the foundations of mathematics
Bibliography: p. )123(-133
)By( A. Heyting
، Intuitionistic mathematics
QA
9
.
H46
AU
TI
یاضه ریه دانشکدانابخکت
