Richard Eugene Vesley

Intuitionism and Proof Theory Proceedings of the Summer Conference at Buffalo, N.Y., 1968

Akiko Kino, John Myhill, Richard Eugene Vesley, 1970 .

Intuitionism and Proof Theory

Akiko Kino, Richard Eugene Vesley, J. Myhill, 1970 .

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

S. C. Kleene, Richard Eugene Vesley, S. Kleene, 1965 .