Tableau Methods for Propositional Logic and Term Logic - Studies in Philosophy, History of Ideas and Modern Societies - Tomasz Jarmuzek - Books - Peter Lang AG - 9783631833728 - January 27, 2021
In case cover and title do not match, the title is correct

Tomasz Jarmuzek
Tableau Methods for Propositional Logic and Term Logic - Studies in Philosophy, History of Ideas and Modern Societies New edition

Price
$ 70.99
excl. VAT

Ordered from remote warehouse

Expected to be ready for shipping Jul 10 - 16

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

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.

228 pages

Media Books     Hardcover Book   (Book with hard spine and cover)
Released January 27, 2021
ISBN13 9783631833728
Publishers Peter Lang AG
Pages 228
Dimensions 218 × 156 × 22 mm   ·   442 g
Language German  

More by Tomasz Jarmuzek

Show all

Mere med samme udgiver

See all of Tomasz Jarmuzek ( e.g. Hardcover Book )