Check order status

Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free

Austrian Post 5.49 € DPD courier 3.99 € DPD point 2.99 €

Contact

How to shop

Help

My account

▸ Empty :-(

Tableau Methods for Propositional Logic and Term Logic

Name: Tableau Methods for Propositional Logic and Term Logic
Brand: Peter Lang AG
SKU: 33612825
Price: 71.89 EUR
Availability: InStock
Author: Jan Hartman
ISBN: 9783631833728

Jan Hartman

Tomasz Jarmuzek

Language

English

Book Hardback

Libristo code: 33612825

Publishers Peter Lang AG, January 2021

The book aims to formalise tableau methods for the logics of propositions and names. The methods des... Full description

Libristo code: 33612825

176 b

71.89 € VAT included

In stock at our supplier Shipping in 10-18 days

Delivery to Austria

30-day return policy

Customers also purchased

Histoires de Femmes J. a. Lion

Paperback

10.09 €

VAMPIROS

Paperback

86.49 €

?Qué Pasa Con Lo Reciclable? (Where Does Recycling Go?)

Paperback

9.79 €

The Thinking Machine Stephen Witt

Hardback

31.50 €

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.