Kino, A.

Intuitionism and proof theory = Proceedings of the summer conference at Buffalo, N.Y., 1968 / by: Workshop on the Preservation of Stability under Discretization ((2001 :); Vesley, Richard Eugene, (1932-); Myhill, John.; State University College at Buffalo.; Kino, A. (Language materials, printed)