197
Kleene, Stephen Cole, 9091-
The Foundations of intuitionistic mathematics; especially in relation to recursive functions
Amesterdam
North - Holland pub. Co
1965
Viii, 206p. Ill
Studies in logic and the foundations of mathematics
Stephen Cole Kleene, Richard Eugene Vesley
، Constructive mathematics
، Recursive functions
QA
9
.
K648
AU
AU -2391 ,eneguE drahciR ,yelseV
TI
SE
