
Conte aos seus amigos sobre este item:
Fibring Logics - Oxford Logic Guides
Gabbay, Dov M. (Professor of Computer Science, Professor of Computer Science, King's College, London)
Fibring Logics - Oxford Logic Guides
Gabbay, Dov M. (Professor of Computer Science, Professor of Computer Science, King's College, London)
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. This means that many existing complex systems can be broken down into simpler components, hence making them much easier to manipulate.
488 pages, 22 line figures
Mídia | Livros Hardcover Book (Livro com lombada e capa dura) |
Lançado | 5 de novembro de 1998 |
ISBN13 | 9780198503811 |
Editoras | Oxford University Press |
Páginas | 488 |
Dimensões | 161 × 241 × 30 mm · 887 g |