Intuitionism and proof theory.
4/5
Proceedings of the summer conference at Buffalo N.Y. 1968. Edited by A. Kino, J. Myhill and R.E. Vesley.
- Format
- 516 pages
- First published
- 1970
- Publishers
- North-Holland Pub. Co.
- Subjects
- Logic·Symbolic and mathematical·Congresses
- Language
- English
