Handbook of logic in computer science, Vol. 2, background, computational structures / S. Abramsky, Dov M. Gabbay and T. S. E. Maibaum
Type 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 | 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.