Menu
Zistiť stav objednávky
Kontaktujte nás
Kniha Tableau Methods for Propositional Logic and Term Logic Jan Hartman

Tableau Methods for Propositional Logic and Term Logic

Autor: Jan Hartman, Tomasz Jarmuzek
Jazyk: Angličtina
Väzba: Pevná
Vydavateľ: Peter Lang AG
Dostupnosť: Skladom u dodávateľa
Odosielame za 10-18 dní
63.55 €
The book aims to formalise tableau methods for the logics of propositions and names. The methods des...

Informácie o knihe

Autor
Jan Hartman, Tomasz Jarmuzek
Jazyk
Angličtina
Väzba
Kniha - Pevná
Vydalo
2021
Stránok
228
EAN
9783631833728
ISBN
3631833725
Enbook ID
33612825
Vydavateľ
Peter Lang AG
Hmotnosť
442
Rozmery
218 x 156 x 22

Kompletný popis

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.

Mohlo by vás zaujímať

Human Drug Targets

Edward D. Zanders
142.54 €

Anne of Green Gables, 3-Book Box Set, Volume II

Lucy Maud Montgomery
16.89 €

Mulligan Concept of Manual Therapy

Hing
77.90 €

Lonely Planet Costa Rican Spanish Phrasebook & Dictionary

Thomas Kohnstamm
8.24 €

Zákazníci, ktorí si kúpili túto knihu, kúpili tiež

Histoires de Femmes

J. a. Lion
9.52 €

VAMPIROS

81.24 €

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

9.23 €

The Thinking Machine

Stephen Witt
25.73 €