Intuitionism and proof theory.
Subtitle: Proceedings of the summer conference at Buffalo N.Y.  1968.  Edited by A. Kino, J. Myhill and R.E. Vesley.
Contributors: Kino, A.,; Myhill, J.,; Vesley, Richard Eugene,; New York. State University, 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: Logic, Symbolic and mathematical -- Congresses.