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