Free delivery for orders over 69.99 euro.

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

Free delivery for purchases over 69.99 €

DPD courier 5.99 € Bpost point 7.99 € Bpost 7.49 € DPD point 3.49 € GLS courier 4.99 €

Contact

How to shop

Help

My account

▸ Empty :-(

Free delivery for orders over 69.99 euro.

Tableau Methods for Propositional Logic and Term Logic

Name: Tableau Methods for Propositional Logic and Term Logic
Brand: Peter Lang AG
SKU: 33612825
Price: 69.21 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

167 b

69.21 €

In stock at our supplier Shipping in 10-18 days

Up to 30 days for returns

Customers also purchased

Histoires de Femmes J. a. Lion

Paperback

9.82 €

VAMPIROS

Paperback

83.80 €

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

Paperback

9.52 €

The Thinking Machine Stephen Witt

Hardback

26.54 €

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.