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 |
Browsing ENS Rennes - Bibliothèque shelves, Shelving location: Informatique Close shelf browser
|
|
|
|
|
|
|
||
| 004.16 BAR The lambda calculus : its syntax and semantics | 004.16 BEN Systèmes formels : introduction à la logique et à la théorie des langages | 004.16 BEN Mathematical logic for computer science | 004.16 BEN Mathematical logic for computer science | 004.16 BEN Modal logic for open minds | 004.16 BEN Mathematical logic for computer science | 004.16 BEN Mathematical logic for computer science |
Bibliogr. p. [293]-295. Index.