Intuitionism and proof theory.
Subtitle: Proceedings of the summer conference at Buffalo, N.Y., 1968.
By: Edited by A. Kino, J. Myhill and R. E. Vesley.
Contributors: Kino, A., ed.; Myhill, John, ed.; Vesley, Richard Eugene, 1932- ed.; State University College at Buffalo.
Series: Studies in logic and the foundations of mathematics
Publisher: North-Holland Pub. Co.
Published: 1970
Place of publication: Amsterdam
Language: eng
Number of pages: 516
Subjects: Intuitionistic mathematics -- Congresses.
Notes: Includes bibliographies.