6908
Kleene, Stephen Cole
The foundations of intuitionistic mathematics, especially in relation to recursive functions
Amsterdam
North-Holland
1965
viii, 206p
Studies in logic and the fundations of mathematics
Bibliography: p. ]187[-199
]by[ Stephen Cole Kleene ]and[ Richard Eagene Vesley
، Mathematics
، Recursive functions
QA
248
.
5
.
K6
AU
AU Vesley, Richard Eugene joint author
TI
CL
