The foundations of intuitionistic mathematics especially in relation to recursive functions - Kleene, Stephen Cole 1909-1994; Vesley, Richard Eugene 1932- (North-Holland Publ., 1965)