✍️ 🧑‍🦱 💚 Autor:innen verdienen bei uns doppelt. Dank euch haben sie so schon 418.243 € mehr verdient. → Mehr erfahren 💪 📚 🙏

Tableau Methods for Propositional Logic and Term Logic

Tableau Methods for Propositional Logic and Term Logic

von Tomasz Jarmu¿ek und Tomasz Jarmużek
Hardcover - 9783631833728
67,95 €
  • Versandkostenfrei
Auf meine Merkliste
  • Hinweis: Print on Demand. Lieferbar in 7 Tagen.
    •
  • Lieferzeit nach Versand: ca. 1-2 Tage
  • inkl. MwSt. & Versandkosten (innerhalb Deutschlands)

Autorenfreundlich Bücher kaufen?!

Beschreibung

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.

Details

Verlag Peter Lang GmbH, Internationaler Verlag der Wissenschaften
Ersterscheinung 27. Januar 2021
Maße 21 cm x 14.8 cm
Gewicht 369 Gramm
Format Hardcover
ISBN-13 9783631833728
Auflage 1. Auflage
Seiten 228

Schlagwörter

Philosophie, Théologie et Philosophie