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

Bibliografische gegevens
Coauteur: Conference on Intuitionism and Proof Theory, State University of New York at Buffalo, 1968
Formaat: Boek
Taal:English
Gepubliceerd in: Amsterdam North-Holland Pub. Co. 1970.
Reeks:Studies in logic and the foundations of mathematics
Onderwerpen:
Logic, Symbolic and mathematical > Congresses.