The Foundations of intuitionistic mathematics especially in relation to recursive functions - Kleene, Stephen Cole, 1909- (Studies in logic and the foundations of mathematics., 1965)