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.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
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 ROS (Browse shelf(Opens below)) Available 05763-01

Bibliogr.

There are no comments on this title.

to post a comment.