Author :
Conference on Intuitionism and Proof Theory (1968 : State University of New York at Buffalo)
Title :
Intuitionism and proof theory
Author Statement :
Edited by A. Kino, J. Myhill and R. E. Vesley
Publication :
North-Holland Pub. Co.
Collation :
viii, 516 p. ill. 23 cm
Series :
Studies in logic and the foundations of mathematics
Subject :
Intuitionistic mathematics
ADDED ENTRIES :
Kino, A. ,
SubTitle :
Proceedings of the summer conference at Buffalo, N.Y., 1968
Index :
Includes bibliographies
