Normal view MARC view ISBD view

Intuitionism and proof theory : proceedings of the summer conference at Buffalo N.Y. 1968 / A. Kino, J. Myhill, R. E. Vesley

Auteur principal collectivité : Summer Conference on intuitionism and proof theory, 1968, AuteurAuteur secondaire : Myhill, John R., 1923-1987, Editeur scientifique • Kino, Akiko, 1932-1983, Editeur scientifique • Vesley, Richard Eugene, 1932-2016, Editeur scientifiqueType de document : CongrèsCollection : Studies in logic and the foundations of mathematicsLangue : anglais.Pays : Pays Bas.Éditeur : Amsterdam, 1970 : North-HollandDescription : 1 vol. (VIII-516 p.) ; 23 cmBibliographie : Bibliogr..Sujet MSC : 03Bxx, General logic, Mathematical logic and foundations
00B25, General -- Conference proceedings and collections of papers, Proceedings of conferences of miscellaneous specific interest
03-06, Mathematical logic and foundations, Proceedings, conferences, collections, etc.
Tags from this library: No tags from this library for this title. Log in to add tags.
Current location Call number Status Date due Barcode
CMI
Salle R
03-06 KIN (Browse shelf) Available 05666-01

Bibliogr.

There are no comments for this item.

Log in to your account to post a comment.