Doprava zdarma pre objednávky nad 59,99 € s Packetou a SPS Boxmi.

Zistiť stav objednávky

Staňte sa súčasťou komunity milovníkov kníh z celého sveta a získajte hromadu výhod. Založiť účet zdarma

Doprava zadarmo s Packetou nad 59.99 €

Kuriér DPD 2.99 € Zberné miesto GLS 2.49 € SPS 3.99 € SPS Parcel Shop 2.99 € Packeta kurýr 3.99 € Pošta 3.99 € Zberné miesto DPD 2.99 € Kuriér GLS 3.99 € Packeta 2.99 €

Kontakt

Ako nakupovať

Pomoc

Môj účet

▸ Prázdny :-(

Doprava zdarma pre objednávky nad 59,99 € s Packetou a SPS Boxmi.

Tableau Methods for Propositional Logic and Term Logic

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

Jan Hartman

Tomasz Jarmuzek

Jazyk

Angličtina

Kniha Pevná

Libristo kód: 33612825

Nakladateľstvo Peter Lang AG, január 2021

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

Libristo kód: 33612825

158 b

65.32 €

Skladom u dodávateľa Odosielame za 10-18 dní

30 dní na vrátenie tovaru

Zákazníci tiež kúpili

Histoires de Femmes J. a. Lion

Brožovaná

9.78 €

VAMPIROS

Brožovaná

83.49 €

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

Brožovaná

9.48 €

The Thinking Machine Stephen Witt

Pevná

26.44 €

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.