Intuitionism and proof theory proceedings of the summer conference at buffalo N.Y. 1968
| 企業作者: | |
|---|---|
| 格式: | 圖書 |
| 語言: | English |
| 出版: |
Amsterdam
North-Holland Pub. Co.
1970.
|
| 叢編: | Studies in logic and the foundations of mathematics
|
| 主題: |