Darmowa dostawa dla zamówień powyżej 299,00 zł.

Sprawdzić stan zamówienia

Zostań członkiem wspólnoty miłośników książek z całego świata i zyskaj mnóstwo korzyści. Załóż konto bezpłatnie

Darmowa dostawa z usługą Inpost oraz Orlen od 299.00 zł

DPD Kurier 12.99 zł Poczta Polska 18.99 zł Paczkomat 13.99 zł InPost 12.99 zł Punkt DPD 13.99 zł

Kontakt

Jak kupować

Pomoc

Moje konto

▸ Pusty :-(

Darmowa dostawa dla zamówień powyżej 299,00 zł.

Tableau Methods for Propositional Logic and Term Logic

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

Jan Hartman

Tomasz Jarmuzek

Język

Angielski

Książka Twarda

Kod Libristo: 33612825

Wydawnictwo Peter Lang AG, styczeń 2021

The book aims to formalise tableau methods for the logics of propositions and names. The methods des... Cały opis

Kod Libristo: 33612825

150 b

262.23 zł

Dostępna u dostawcy Wysyłamy za 10-18 dni

30 dni na zwrot towaru

Klienci kupili także

Histoires de Femmes J. a. Lion

Miękka

41.67 zł

VAMPIROS

Miękka

355.04 zł

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

Miękka

40.47 zł

The Thinking Machine Stephen Witt

Twarda

112.38 zł

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.