The foundations of intuitionistic mathematics : - Kleene, Stephen Cole 1909- (Studies in logic and the foundations of mathematics, 1965)