Intuitionism and proof theory
Subtitle: proceedings of the summer conference of Buffalo, NY, 1968
By: edited by A. Kino (and others)
Contributors: Kino, A.; Myhill, John; Vesley, R. E.; State University of New York. College at Buffalo
Series: Studies in logic and the foundations of mathematics
Publisher: North-Holland Publishing Co
Published: 1970
Place of publication: Amsterdam
Language: eng
Number of pages: 516
Subjects: Logic, Symbolic and mathematical -- Congresses
Notes: Bibliogr.

4