Intuitionism and proof theory. Proceedings of the summer conference at Buffalo, N.Y., 1968.
Saved in:
| Meeting name: | Conference on Intuitionism and Proof Theory (1968 : State University of New York at Buffalo) |
|---|---|
| Imprint: | Amsterdam, North-Holland Pub. Co., 1970. |
| Description: | viii, 516 p. 23 cm. |
| Language: | English |
| Series: | Studies in logic and the foundations of mathematics |
| Subject: | |
| Format: | Print Book |
| URL for this record: | http://pi.lib.uchicago.edu/1001/cat/bib/905792 |
