Intuitionism and proof theory : Proceedings of the Summer Conference at Buffalo N. Y. 1968 / edited by A. Kino, J. Myhill and R. E. Vesley. - Amsterdam : North-Holland Pub., 1970. - viii, 516 p. ; 23 cm. - Studies in logic and the foundations of mathematics . - Studies in logic and the foundations of mathematics. .

Includes bibliographies.

0720422574


Logic, Symbolic and mathematical--Congresses.