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.
Lieferbar
ISBN | 9780198503811 |
---|---|
Sprache | eng |
Cover | Fester Einband |
Verlag | Oxford University Press |
Jahr | 19981105 |
Dieser Artikel hat noch keine Bewertungen.