Name: Tableau Methods for Propositional Logic and Term Logic
Price: 67.95 EUR
Availability: InStock
Author: Tomasz Jarmuzek
ISBN: 9783631833728

Tableau Methods for Propositional Logic and Term Logic von Tomasz Jarmuzek

Sie sparen 0% des UVP sparen 0%

Gebundene Ausgabe
Versandfertig in 1-2 Wochen
67,95 €

Über Tableau Methods for Propositional Logic and Term Logic

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.

Sprache:
Englisch

ISBN:
9783631833728

Verlag:
Peter Lang AG

Einband:
Gebundene Ausgabe

Seitenzahl:
228

Veröffentlicht:
27 Januar 2021

Ausgabe:

Abmessungen:
218x156x22 mm.

Gewicht:
442 g.

67,95 € inkl. MwSt.
~~67,95 €~~ UVP

Versandkostenfrei

Versandfertig in 1-2 Wochen.

Über Tomasz Jarmuzek

Alle Bücher von Tomasz Jarmuzek anzeigen

Beschreibung von Tableau Methods for Propositional Logic and Term Logic

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.

Kund*innenbewertungen von Tableau Methods for Propositional Logic and Term Logic

Andere kauften auch ...

Ähnliche Bücher finden

Das Buch Tableau Methods for Propositional Logic and Term Logic ist in den folgenden Kategorien erhältlich:

Wirtschaft & Schule > Wissenschaft

Tableau Methods for Propositional Logic and Term Logic

Über Tomasz Jarmuzek

Beschreibung von Tableau Methods for Propositional Logic and Term Logic

Kund*innenbewertungen von Tableau Methods for Propositional Logic and Term Logic

Willkommen bei den Tales Buchfreunden und -freundinnen