The foundations of intuitionistic mathematics: especially in relation to recursive functions /

por Kleene, Stephen Cole 1909-, Kleene, Stephen Cole 1909-, Vesley, Richard Eugene 1932-
Publicado 1965

Intuitionism and proof theory : proceedings of the Summer Conference at Buffalo, N. Y. 1968. /

por Kino, A., Kino, A.
Publicado 1970