Fibring Logics
| Use attributes for filter ! | |
| Google books | books.google.com |
|---|---|
| Originally published | 1998 |
| Authors | Dov Gabbay |
| Date of Reg. | |
| Date of Upd. | |
| ID | 2910770 |
About Fibring Logics
Modern applications of logic, in mathematics, theoretical computer science, and linguistics, require combined systems involving many different logics working together. In this book the author offers a basic methodology for combining-or fibring-systems. . . .