Free Shipping to all UK customers for orders over £25.00
Free Shipping to all UK customers for orders over £25.00
Free Shipping to all UK customers for orders over £25.00
Product Categories
My Shopping Cart
You shopping cart is empty
You may browse our offerings to locate what you're searching for, then put it in your shopping cart.
Tableau Methods for Propositional Logic and Term Logic
Usually dispatched within 3 - 5 business days.
In
Stock (778)
£ 54.87
Description
The book aims to formalise tableau methods for the logics of propositions and names. The methods described are based on Set Theory. The tableau rule was reduced to an ordered n-tuple of sets of expressions where the first element is a set of premises, and the following elements are its supersets.
Book Details
Classification:
EAN:
9783631833728
Binding:
Hardback
Dimensions(mm):
156 x 218 x 22
Publication Date:
2021-01-27
Publisher:
Publication Country:
Switzerland