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