Foundations of intuitioistic mathematics especially in rekation to recursive functions - Kleene Stephen Cole; Vesley Richard Eugene (1965)
Keywords: PHILOSOPHY