Normal view MARC view ISBD view

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.Bibliographie : Bibliogr..Sujet MSC : 03-06, Mathematical logic and foundations, Proceedings, conferences, collections, etc.
00Bxx, General, Conference proceedings and collections of papers
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 GAN (Browse shelf) Available 06646-01

Bibliogr.

There are no comments for this item.

Log in to your account to post a comment.