Book Details
Format
Hardback or Cased Book
ISBN-10
3631833725
ISBN-13
9783631833728
Edition
New
Publisher
Peter Lang AG
Imprint
Peter Lang AG
Country of Manufacture
GB
Country of Publication
GB
Publication Date
Jan 27th, 2021
Print length
228 Pages
Weight
442 grams
Dimensions
15.60 x 21.80 x 2.20 cms
Product Classification:
Philosophy: logic
Ksh 9,400.00
Manufactured on Demand
Delivery in 29 days
Delivery Location
Delivery fee: Select location
Delivery in 29 days
Secure
Quality
Fast
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.
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.
Get Tableau Methods for Propositional Logic and Term Logic by at the best price and quality guaranteed only at Werezi Africa's largest book ecommerce store. The book was published by Peter Lang AG and it has pages.
