The foundations of intuitionistic mathematics: especially in relation to recursive functions - Kleene, Stephen Cole 1909-; Vesley, Richard Eugene 1932- (Amsterdam : North-Holland Pub. Co., 1965)
Keywords: MATEMATICAS INTUICIONISTAS; FUNCIONES RECURSIVAS