Над 4 милиона заглавия на английски и други езици! Открийте новата си история още днес! Безплатна доставка за поръчки над 69.99€

Проверка на състоянието на поръчката

Станете част от общност от любители на книгите от цял свят и получавате много предимства. Създай на безплатен акаунт

Безплатна доставка със Еконт над 69.99 €

Куриер Speedy 3.49 € Пункт на Speedy 3.49 € ЕКОНТ 3.99 € Еконтомат/Офис на Еконт 3.99 € Ekont Box 3.99 € Sameday 3.99 € Sameday box 3.99 € Box Now 3.99 €

Контакт

Как се пазарува?

Помощ

Моят акаунт

▸ Празна :-(

Tableau Methods for Propositional Logic and Term Logic

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

Jan Hartman

Tomasz Jarmuzek

Език

Английски език

Книга С твърди корици

Код Либристо: 33612825

Издателство Peter Lang AG, януари 2021

The book aims to formalise tableau methods for the logics of propositions and names. The methods des... Цялото описание

Код Либристо: 33612825

167 b

68.97 €

134.89 лв

Външен склад Изпращаме след 10-18 дни

30 дни за връщане на стоката

Клиентите са закупили също

Histoires de Femmes J. a. Lion

С меки корици

10.22 € 19.98 лв

VAMPIROS

С меки корици

87.34 € 170.83 лв

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

С меки корици

9.96 € 19.48 лв

The Thinking Machine Stephen Witt

С твърди корици

28.18 € 55.12 лв

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.