Intuitionism and proof theory : Proceedings of the Summer Conference at Buffalo N. Y. 1968 - Conference on Intuitionism and Proof Theory (1968 : State University of New York at Buffalo). (Amsterdam : North-Holland Pub., 1970)
Includes bibliographies.
Keywords: Logic, Symbolic and mathematical -- Congresses