Intuitionism and proof theory.
Proceedings of the summer conference at Buffalo, N.Y., 1968.
Conference on Intuitionism and Proof Theory (1968 State University of New York at Buffalo)
0 okur0 dakika okundu0 bitirdi0 alıntı
- Yayınevi
- North-Holland Pub. Co.
- Yayın tarihi
- 1970
- Sayfa sayısı
- 516
- Dil
- İngilizce
- Konular
- Congresses, Intuitionistic mathematics, Symbolic and mathematical Logic
