- We will send in 10–14 business days.
/images/books/2892687/9780198538332.jpg)
- Author: Dov M Gabbay
- Publisher: Clarendon Press
- ISBN-10: 0198538332
- ISBN-13: 9780198538332
- Format: 15.6 x 23.4 x 2.9 cm, kieti viršeliai
- Language: English
- SAVE -10% with code: EXTRA
Reviews
Description
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.
EXTRA 10 % discount with code: EXTRA
The promotion ends in 21d.22:31:13
The discount code is valid when purchasing from 10 €. Discounts do not stack.
- Author: Dov M Gabbay
- Publisher: Clarendon Press
- ISBN-10: 0198538332
- ISBN-13: 9780198538332
- Format: 15.6 x 23.4 x 2.9 cm, kieti viršeliai
- Language: English English
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.
Reviews