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 cmISSN: 0049-237X.Bibliographie : Bibliogr..Sujet MSC : 03Bxx, Mathematical logic and foundations - General logic
00B25, Conference proceedings and collections of papers, Proceedings of conferences of miscellaneous specific interest
03-06, Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations
Tags from this library: No tags from this library for this title. Log in to add tags.
Holdings
Item type Current library Call number Status Date due Barcode
 Congrès Congrès CMI
Salle 1
03-06 KIN (Browse shelf(Opens below)) Available 05666-01

Bibliogr.

There are no comments on this title.

to post a comment.