Main image
Click to view image in fullscreen
![]()
Extensions of First-Order Logic
Classical logic has proved inadequate in various areas of computer science, artificial intelligence, mathematics, philosopy and linguistics. This is an introduction to extensions of first-order logic, based on the principle that many-sorted logic (MSL) provides a unifying framework in which to work.
840,00 DH
Sur commande
Classical logic has proved inadequate in various areas of computer science, artificial intelligence, mathematics, philosopy and linguistics. This is an introduction to extensions of first-order logic, based on the principle that many-sorted logic (MSL) provides a unifying framework in which to work.
| ISBN / EAN | 9780521019026 |
|---|---|
| Auteur | Manzano, Maria (Universitat de Barcelona) |
| Editeur | Cambridge University Press |