The foundations of intuitionistic mathematics especially in relation to recursive functions
Kleene, Stephen Cole, 1909-
The foundations of intuitionistic mathematics especially in relation to recursive functions by Stephen Cole Kleene and Richard Eugene Vesley - Amsterdam : North-Holland Publishing Company, 1965 - viii, 206 p. ; 23 cm. - Studies in logic and the foundations of mathematics .
'Bibliography, by S. C. Kleene': p. (187-199)
Intuitionistic mathematics
Recursive functions
The foundations of intuitionistic mathematics especially in relation to recursive functions by Stephen Cole Kleene and Richard Eugene Vesley - Amsterdam : North-Holland Publishing Company, 1965 - viii, 206 p. ; 23 cm. - Studies in logic and the foundations of mathematics .
'Bibliography, by S. C. Kleene': p. (187-199)
Intuitionistic mathematics
Recursive functions
