Fibring Logics - Dov M. Gabbay
-40% koodiga BOOKS
Saadetis 17-23 tööpäeva jooksul
30-päevane tagastamisõigus
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.
Kirjeldus
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.
Lisateave
| Autor | Dov M. Gabbay |
|---|---|
| Kirjastaja | Hurst & Co. |
| Väljalaskeaasta | 1998 |
| Kaanetüüp | Kõvakaaneline |
| EAN | 9780198503811 |