عنوان
پدید آورنده
موضوع
رده
QA 9 .H4 1971
QA
9
.
H4
1971
کتابخانه
محل استقرار
لاتين
by A. Heyting
1898-
Intuitionism: an introduction
3rd ed
1971
viii, 145 p
Studies in logic and the foundations of mathematics
مرجع به حساب نمي آيد
Bibliography: p. [127]-141
Logic, Symbolic and mathematical
Mathemtics-Methodology
QA
9
.
H4
1971
مولف
Heyting, Arend
