Main image
Click to view image in fullscreen
![]()
Logic and Complexity
Divided into three parts, it covers: - Model Theory and Recursive Functions - introducing the basic model theory of propositional, 1st order, inductive definitions and 2nd order logic.
2 660,00 DH
Sur commande
Divided into three parts, it covers: - Model Theory and Recursive Functions - introducing the basic model theory of propositional, 1st order, inductive definitions and 2nd order logic.
| ISBN / EAN | 9781447110521 |
|---|---|
| Auteur | Lassaigne, Richard |
| Editeur | Springer London Ltd |