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, Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations
00Bxx, General - Conference proceedings and collections of papers
68-06, Proceedings, conferences, collections, etc. pertaining to computer science
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 DOM (Browse shelf(Opens below)) 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 on this title.

to post a comment.