The foundations of intuitionistic mathematics : especially in relation to recursive functions - Kleene, Stephen Cole; Vesley, Richard Eugene (rz1, 1965)