Mathematical logic for computer science [ Livre] / Mordechai, Ben-Ari
Langue: Anglais ; de l'oeuvre originale, Anglais.Mention d'édition: 2nd ed.Publication : London, Berlin, Paris : Springer, 2001Description : 1 vol. (XIV-304 p.) ; 24 cmISBN: 1852333197.Classification: 004.16 Logique mathématiqueSujet - Nom commun: Informatique -- Mathématiques | Logique informatique | Logique symbolique et mathématique| Current location | Call number | Status | Notes | Date due | Barcode |
|---|---|---|---|---|---|
| ENS Rennes - Bibliothèque Informatique | 004.16 BEN (Browse shelf) | Available | 004.16 Logique mathématique | 018871 | |
| ENS Rennes - Bibliothèque Informatique | 004.16 BEN (Browse shelf) | Available | 004.16 Logique mathématique | 018872 |
Bibliogr. p. [293]-295. Index.