The foundations of intuitionistic mathematics: especially in relation to recursive functions - Kleene, Stephen Cole 1909- (North-Holland Pub. Co., 1965)