Normal view MARC view ISBD view

Logic colloquium '73 : proceedings of the logic colloquium Bristol, July, 1973 / H.E. Rose, J.C. Shepherdson

Auteur principal collectivité : logic colloquium, 1973, AuteurAuteur secondaire : Rose, Harvey Ernest, 1936-, Editeur scientifique • Shepherdson, John Cedric, 1926-2015, Editeur scientifiqueType de document : CongrèsCollection : Studies in logic and the foundations of mathematics, 80Langue : anglais.Pays : Pays Bas.Éditeur : Amsterdam : North-Holland, 1975Description : 1 vol. (VIII-513 p.) ; 23 cmISBN : 9780720422825.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 ROS (Browse shelf) Available 05763-01

Bibliogr.

There are no comments for this item.

Log in to your account to post a comment.