Order History
Premium Membership & Rewards
Help Center / FAQ
Fibring Logics
Hardcover
$130.00
Earn 5X Rewards 1/1 - 12/31Loading availability...
Pick up in store
Your local store may have stock of this item.
Your local store may have stock of this item.
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 combiningor fibringsystems. The technique shows how to break complex systems into simple components which can be easily manipulated and recombined.
More in This Series
Cantorian Set Theory and Limitation of Size
#10 in Series
Paperback
$175.00
Models of Peano Arithmetic
#15 in Series
Hardcover
$190.00
A Study of Logics
#18 in Series
Hardcover
$220.00
Elementary Categories, Elementary Toposes
#21 in Series
Paperback
$125.00
Recursion Theory for Metamathematics
#22 in Series
Hardcover
$170.00
Arithmetic, Proof Theory, and Computational Complexity
#23 in Series
Hardcover
$205.00
Introduction to Logic and to the Methodology of the Deductive Sciences
#24 in Series
Hardcover
$255.00
Many-Valued Logics
#25 in Series
Hardcover
$120.00
Groups of Finite Morley Rank
#26 in Series
Hardcover
$200.00
Cardinal Arithmetic
#29 in Series
Hardcover
$250.00
Features and Fluents: The Representation of Knowledge about Dynamical Systems
#30 in Series
Hardcover
$120.00
Set Theory with a Universal Set: Exploring an Untyped Universe
#31 in Series
Hardcover
$66.00
Geometric Stability Theory
#32 in Series
Hardcover
$130.00
Labelled Deductive Systems
#33 in Series
Hardcover
$130.00
Modal Logic
#35 in Series
Hardcover
$250.00
Twenty-Five Years of Constructive Type Theory: Proceedings of a Congress held in Venice, October 1995
#36 in Series
Hardcover
$93.00
Model Theory
#37 in Series
Hardcover
$185.00
Elements of Intuitionism
#39 in Series
Hardcover
$215.00