Labelled Deductive Systems (Oxford Logic Guides)
MIA KARTS BOOKS
Labelled Deductive Systems (Oxford Logic Guides)
Book details
- Author
- Dov M. Gabbay
- Publisher
- OXFORD UNIVERSITY PRESS
- Format
- Hardcover
- Language
- English
- Category
- Linguistics
- Condition
- New
- ISBN-13
- 9780198538332
- ISBN-10
- 0198538332
- Vendor: Mia Karts
Labelled Deductive Systems (Oxford Logic Guides)
$134.44 USD
Shipping calculated at checkout.
Available
Free U.S. shipping on all orders. International shipping is calculated at checkout.
ISBN: 0198538332
Author: Gabbay, Dov M.
Condition: New
This important book provides a new unifying methodology for logic. It replaces the traditional view of logic as manipulating sets of formulas with the notion of structured families of labelled formulas with algebraic structures. This approach has far reaching consequences for the methodology of logics and their semantics, and the book studies the main features of such systems along with their applications. It will interest logicians, computer scientists, philosophers and linguists.
Have a question?
Labelled Deductive Systems (Oxford Logic Guides)
$134.44 USD
