THE FOUNDATIONS OF INTUITIONISTIC MATHEMATICS ESPECIALLY IN RELATION TO RECURSIVE FUNCTIONS - Kleene, Stephen Cole; Vesley, Richard Eugene (North-Holland Publishing Company, 1965)