Logic colloquium 76 : proceedings of a conference held in Oxford in July 19-30, 1976 / R.O. Gandy, J.M.E. Hyland

Auteur principal collectivité : logic colloquium, 1976, AuteurAuteur secondaire : Gandy, Robin Oliver, 1919-1995, Editeur scientifique • Hyland, John Martin Elliott, Editeur scientifiqueType de document : CongrèsCollection : Studies in logic and the foundations of mathematics, 87Langue : anglais.Pays: Pays Bas.Éditeur : Amsterdam : North-Holland, 1977Description : 1 vol. (IX-612 p.) : portrait ; 23 cmISBN: 9780720406917.ISSN: 0049-237X.Bibliographie : Bibliogr..Sujet MSC : 03-06, Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations
00Bxx, General - Conference proceedings and collections of papers Item type: Congrès
Tags from this library: No tags from this library for this title. Log in to add tags.
Holdings
Current library Call number Status Date due Barcode
CMI
Salle R 		03-06 GAN (Browse shelf(Opens below)) Available 06646-01

Bibliogr.

There are no comments on this title.

to post a comment.