Intuitionism and proof theory proceedings of the summer conference at buffalo N.Y. 1968

Intuitionism and proof theory proceedings of the summer conference at buffalo N.Y. 1968

Detaylı Bibliyografya
Müşterek Yazar: Conference on Intuitionism and Proof Theory, State University of New York at Buffalo, 1968
Materyal Türü: Kitap
Dil:English
Baskı/Yayın Bilgisi: Amsterdam North-Holland Pub. Co. 1970.
Seri Bilgileri:Studies in logic and the foundations of mathematics
Konular:
Logic, Symbolic and mathematical > Congresses.