Handbook of logic in computer science, Background, Vol. 1, Mathematical structures / ed. by S. Abramsky,... Dov M. Gabbay,... and T. S. E. Maibaum,... [ Livre]

Langue: Anglais.Publication : Oxford : Clarendon Press, 1992Description : 1 vol. (XII-827 p.) ; 24 cmISBN: 0198537352.Collection: Oxford science publicationsClassification: F 4 1 Logique mathématiqueSujet - Nom commun: Informatique | Logique symbolique et mathématique | Langages de programmation -- Sémantique | Informatique -- Mathématiques
Current location Call number Status Notes Date due Barcode
ENS Rennes - Bibliothèque
Magasin (archives)
F 4 1 ABR (Browse shelf) Available F 4 1 Logique mathématique 00002913

Notes bibliogr.

Powered by Koha