2269:-
Uppskattad leveranstid 7-11 arbetsdagar
Fri frakt för medlemmar vid köp för minst 249:-
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.
- Format: Inbunden
- ISBN: 9780198503811
- Språk: Engelska
- Antal sidor: 488
- Utgivningsdatum: 1998-11-01
- Förlag: OUP Oxford