Intuitionism and proof theory. : Proceedings of the summer conference at Buffalo, N.Y., 1968 / Edited by A. Kino, J. Myhill and R. E. Vesley.
| Uniform Title: | Studies in logic and the foundations of mathematics.
|
|---|---|
| Corporate Authors: | |
| Other Authors: | |
| Language: | English |
| Published: |
Amsterdam :
North-Holland Pub. Co.,
1970.
|
| Series: | Studies in logic and the foundations of mathematics.
|
| Subjects: | |
| Genre: | |
| Physical Description: | viii, 516 pages ; 23 cm. |
| Format: | Conference Proceeding Book |