عنوان
پدید آورنده
موضوع
رده
QA 9 .K648
QA
9
.
K648
کتابخانه
محل استقرار
English
The foundations of intuitionistic mathematics, especially in relation to recursive functions
Amsterdam
North-Holland Pub. Co.
1965
viii, 206 p. 23 cm
Studies in logic and the foundations of mathematics
Bibliography, by S. C. Kleene: p. )187(-199
)by( Stephen Cole Kleene )and( Richard Eugene Vesley
1
، Intuitionistic mathematics
، Recursive functions
QA
9
.
K648
CA
511/
.
33
9091-
Kleene, Stephen Cole
AU
AU Vesley, Richard Eugene 1932-
TI
SE
