The Foundations of intuitionistic mathematics especially in relation to recursive functions - Kleene, Stephen Cole, 1909-; Vesley, Richard Eugene (Amsterdam North-Holland Publishing, 1965)
Keywords: Intuitionistic mathematics; Recursive functions