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

Détails bibliographiques
Auteurs principaux : Kino Akiko (Directeur de publication), Myhill John R. (Directeur de publication), Vesley Richard Eugène (Directeur de publication)
Format : Livre
Langue : anglais
Titre complet : Intuitionism and proof theory : proceedings of the summer conference at Buffalo N.Y. 1968 / edited by A. Kino, J. Myhill, R. E. Vesley
Publié : Amsterdam, London : North-Holland , cop. 1970
Description matérielle : 1 vol. (VIII-516 p.)
Collection : Studies in logic and the foundations of mathematics
Titre de l'ensemble : Studies in logic and the foundations of mathematics
Sujets :
Description
Bibliographie : Notes bibliogr.
ISBN : 0-7204-2257-4