Handbook of logic in computer science, Vol. 2, background, computational structures / S. Abramsky, Dov M. Gabbay and T. S. E. Maibaum

Auteur secondaire : Abramsky, Samson, 1953-, Editeur scientifique • Gabbay, Dov M., 1945-, Editeur scientifique • Maibaum, Thomas S. E., 1947-, Editeur scientifiqueType de document : MonographieCollection : Oxford science publicationsLangue : anglais.Pays: Grande Bretagne.Éditeur : Oxford : Clarendon Press, 1992Description : 1 vol. (X-571 p.) : ill. ; 24 cmISBN: 0198537611.Bibliographie : Notes bibliogr..Sujet MSC : 03D03, Computability and recursion theory, Thue and Post systems, etc.
03B40, General logic, Combinatory logic and lambda calculus
03B35, General logic, Mechanization of proofs and logical operations
03B70, General logic, Logic in computer scienceEn-ligne : zbMath | MSN Item type: Monographie
Tags from this library: No tags from this library for this title. Log in to add tags.
Holdings
Current library Call number Status Date due Barcode
CMI
Salle 1 		03 ABR (Browse shelf(Opens below)) Available 11167-01

Notes bibliogr.

There are no comments on this title.

to post a comment.