Fibring Logics
Autor: | Gabbay, Dov M |
---|---|
EAN: | 9780198503811 |
Sachgruppe: | Informatik, EDV |
Sprache: | Englisch |
Seitenzahl: | 488 |
Produktart: | Gebunden |
Veröffentlichungsdatum: | 24.12.1998 |
Schlagworte: | Mathematics |
159,50 €*
Die Verfügbarkeit wird nach ihrer Bestellung bei uns geprüft.
Bücher sind in der Regel innerhalb von 1-2 Werktagen abholbereit.
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.