| Fibring Logics Contributor(s): Gabbay, Dov M. (Author) |
|
 |
ISBN: 0198503814 ISBN-13: 9780198503811 Publisher: Clarendon Press OUR PRICE: $142.50 Product Type: Hardcover - Other Formats Published: December 1998 Annotation: 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. |
| Additional Information |
| BISAC Categories: - Mathematics | Logic - Medical - Computers | Logic Design |
| Dewey: 511.3 |
| LCCN: 99181169 |
| Series: Oxford Logic Guides |
| Physical Information: 1.25" H x 6" W x 9" (1.96 lbs) 488 pages |
| Descriptions, Reviews, Etc. |
| Publisher Description: 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. |