Languages
Vesley, Richard Eugene, (1932-)
Overview
Works: | 5 works in 2 publications in 1 languages |
---|
Titles
Intuitionism and proof theory = Proceedings of the summer conference at Buffalo, N.Y., 1968 /
by:
Workshop on the Preservation of Stability under Discretization ((2001 :); State University College at Buffalo.; Vesley, Richard Eugene, (1932-); Myhill, John.; Kino, A.
(Language materials, printed)
The foundations of intuitionistic mathematics = especially in relation to recursive functions /
by:
Kleene, Stephen Cole, (1909-1994.); Vesley, Richard Eugene, (1932-)
(Language materials, printed)