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 : |
|
Nantilus
