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