Fibring Logics - Dov M. Gabbay
-35% koodilla BOOKS
Toimitus 17-23 arkipäivässä
30 päivän palautusoikeus
Modern applications of logic in mathematics, computer science, and linguistics require combined systems composed of different types of logic working together. In this book the author offers a basic methodology for combining--or fibring--systems. The technique shows how to break complex systems into simple components which can be easily manipulated and recombined.
Kuvaus
Modern applications of logic in mathematics, computer science, and linguistics require combined systems composed of different types of logic working together. In this book the author offers a basic methodology for combining--or fibring--systems. The technique shows how to break complex systems into simple components which can be easily manipulated and recombined.
Lisätietoja
| Kirjoittaja | Dov M. Gabbay |
|---|---|
| Julkaisija | Hurst & Co. |
| Julkaisuvuosi | 1998 |
| Kannen tyyppi | Kovakantinen |
| EAN | 9780198503811 |