Normal view MARC view ISBD view

Mathematical logic in computer science / B. Domolki and T. Gergely

Auteur principal collectivité : Colloquium on mathematical logic in computer science, 1978, AuteurAuteur secondaire : Dömölki, Balint, 1935-, Editeur scientifique • Gergely, Tamás, 1943-, Editeur scientifiqueType de document : CongrèsCollection : Colloquia mathematica societatis Janos Bolyai, 26Langue : anglais.Pays : Pays Bas.Éditeur : Amsterdam : North-Holland, 1981Description : 1 vol. (758 p.) : ill. ; 24 cmISSN : 0139-3383.Bibliographie : Bibliogr..Sujet MSC : 03-06, Mathematical logic and foundations, Proceedings, conferences, collections, etc.
00Bxx, General, Conference proceedings and collections of papers
68-06, Computer science, Proceedings, conferences, collections, etc.
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 DOM (Browse shelf) Available 07997-01

Articles présentés au colloque sur la logique mathématique et l'informatique qui s'est tenu à Salgótarján du 10 au 15 septembre 1978 sous la direction de la Bolyai Janos Mathematical Society.

Bibliogr.

There are no comments for this item.

Log in to your account to post a comment.