Intuitionism and proof theory proceedings of the summer conference at Buffalo, N.Y., 1968
Conference on Intuitionism and Proof Theory1968Buffalo.
Kino, Akiko.
Myhill, John.
Vesley, R. E.
Amsterdam London North-Holland Publishing
1970
Logic, Symbolic and mathematical.