Intuitionism and proof theory proceedings of the summer conference at buffalo N.Y. 1968

Intuitionism and proof theory proceedings of the summer conference at buffalo N.Y. 1968

Bibliographic Details
Corporate Author: Conference on Intuitionism and Proof Theory, State University of New York at Buffalo, 1968
Format: Book
Language:English
Published: Amsterdam North-Holland Pub. Co. 1970.
Series:Studies in logic and the foundations of mathematics
Subjects:
Logic, Symbolic and mathematical > Congresses.