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

Detalhes bibliográficos
Autor Corporativo: Conference on Intuitionism and Proof Theory, State University of New York at Buffalo, 1968
Formato: Livro
Idioma:English
Publicado em: Amsterdam North-Holland Pub. Co. 1970.
coleção:Studies in logic and the foundations of mathematics
Assuntos:
Logic, Symbolic and mathematical > Congresses.