Fibring Logics
Dov M. Gabbay
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.
سب زمرہ:
جلد:
38
سال:
1998
ناشر کتب:
Oxford University Press, USA
زبان:
english
صفحات:
490
ISBN 10:
0198503814
ISBN 13:
9780198503811
سیریز:
Oxford Logic Guides
فائل:
DJVU, 4.59 MB
IPFS:
,
english, 1998
Amazon 
Barnes & Noble 
Bookshop.org
اپنی کتاب کی دکان شامل کرنا چاہتے ہیں؟ ہم سے support@z-lib.do پر رابطہ کریں۔
فائل کنورٹر
مزید تلاش کے نتائج
دیگر فوائد 
![Gabbay, D. M — Fibred Semantics and the Weaving of Logics Part 1: Modal and Intuitionistic Logics [paper]](https://s3proxy.cdn-zlib.se/covers200/collections/genesis/b98fd9f1da7502e2aa688594dcd2b748a35cb49452346e2a88b154767adcdeda.jpg)
اہم جملے
متعلقہ بک لسٹیں
