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