Intuitionism and proof theory : Proceedings of the summer conference ; Aug 1968 / edited by A. Kino, J. Myhill, and R. Vesley.
1970Description: 1 online resource (516 pages)Content type:- text
- computer
- online resource
- 9780720422573
- 0720422574
- QA9.A1 C66 1970

No physical items for this record
Print version record.
Elsevier ScienceDirect All Books