Tableau Methods for Propositional Logic and Term Logic / Najlacnejšie knihy
Tableau Methods for Propositional Logic and Term Logic

Code: 33612825

Tableau Methods for Propositional Logic and Term Logic

by Jan Hartman, Tomasz Jarmuzek

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 ... more

65.44

RRP: 72.74 €

You save 7.30 €


In stock at our supplier
Shipping in 10 - 18 days
Add to wishlist

You might also like

Give this book as a present today
  1. Order book and choose Gift Order.
  2. We will send you book gift voucher at once. You can give it out to anyone.
  3. Book will be send to donee, nothing more to care about.

Book gift voucher sampleRead more

More about Tableau Methods for Propositional Logic and Term Logic

You get 158 loyalty points

Book synopsis

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.

Book details

Book category Books in German Geisteswissenschaften, Kunst, Musik Philosophie Philosophie - Allgemeines

65.44

Trending among others



Collection points Bratislava a 12732 dalších

Copyright ©2008-26 najlacnejsie-knihy.sk All rights reservedPrivacyCookies


Account: Log in
Všetky knihy sveta na jednom mieste. Navyše za skvelé ceny.

Shopping cart ( Empty )

For free shipping
shop for 59,99 € and more

You are here: