Skip to main content
Cart 0
Tableau Methods for Propositional Logic and Term Logic
Click to zoom

Share this book

Tableau Methods for Propositional Logic and Term Logic

New

Book Details

Format Hardback
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: logicPhilosophy: logic
KSh 9,400.00
Currently unavailable 0 in stock

Delivery Location

Delivery fee: Select location

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 Tomasz Jarmuzek 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 228 pages.

Shopping Cart

Africa largest book store

Sub Total: