Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

Zjistit stav objednávky

Staňte se součástí komunity milovníků knih z celého světa a získejte hromadu výhod. Založit účet zdarma

Doprava zdarma se Zásilkovnou nad 1 499 Kč

Kurýr DPD 69 Kč PPL shop 49 Kč Balíkovna 69 Kč PPL kurýr 74 Kč PPL box 39 Kč Balíkovna 49 Kč Výdejní místo DPD 49 Kč Zásilkovna 39 Kč

Kontakt

Jak nakupovat

Pomoc

Můj účet

▸ Prázdný :-(

Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

Tableau Methods for Propositional Logic and Term Logic

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

Jan Hartman

Tomasz Jarmuzek

Jazyk

Angličtina

Kniha Pevná

Libristo kód: 33612825

Nakladatelství Peter Lang AG, leden 2021

The book aims to formalise tableau methods for the logics of propositions and names. The methods des... Celý popis

Libristo kód: 33612825

150 b

1 496 Kč

Skladem u dodavatele Odesíláme za 10-18 dnů

30 dní na vrácení zboží

Zákazníci také koupili

Histoires de Femmes J. a. Lion

Brožovaná

238 Kč

VAMPIROS

Brožovaná

2 025 Kč

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

Brožovaná

220 Kč

The Thinking Machine Stephen Witt

Pevná

598 Kč

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.