Scan barcode
496 pages • missing pub info (editions)
ISBN/UID: 9780198503811
Format: Hardcover
Language: English
Publisher: Clarendon Press
Publication date: 24 December 1998
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. T...
Community Reviews
Content Warnings
496 pages • missing pub info (editions)
ISBN/UID: 9780198503811
Format: Hardcover
Language: English
Publisher: Clarendon Press
Publication date: 24 December 1998
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. T...
Community Reviews
Content Warnings