Mathematical logic for computer science [ Livre] / Mordechai, Ben-Ari
Langue: Anglais ; de l'oeuvre originale, Anglais.Mention d'édition: 3 éditionPublication : Paris : Springer, 2012Description : 1 vol. (XV-346 p.) ; 24 cmISBN: 9781447141280.Classification: F 4 1 Logique mathématiqueSujet - Nom commun: Informatique -- Mathématiques | Logique informatique | logique mathématique| Current location | Call number | Status | Notes | Date due | Barcode |
|---|---|---|---|---|---|
| ENS Rennes - Bibliothèque Informatique | F 4 1 BEN (Browse shelf) | Available | F 4 1 Logique mathématique | 026505 | |
| ENS Rennes - Bibliothèque Informatique | F 4 1 BEN (Browse shelf) | Available | F 4 1 Logique mathématique | 026506 |