Vesley, Richard Eugene, (1932-)

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. (書目-語言資料,印刷品)

The foundations of intuitionistic mathematics = especially in relation to recursive functions / by: Kleene, Stephen Cole, (1909-1994.); Vesley, Richard Eugene, (1932-) (書目-語言資料,印刷品)