Tableau Methods for Propositional Logic and Term Logic

228 Seiten, Hardcover
€ 69,85
-
+
Lieferung in 7-14 Werktagen

Bitte haben Sie einen Moment Geduld, wir legen Ihr Produkt in den Warenkorb.

Mehr Informationen
Reihe Studies in Philosophy, History of Ideas and Modern Societies
Themen Philosophie und Religion Philosophie
ISBN 9783631833728
Sprache Englisch
Erscheinungsdatum 27.01.2021
Größe 21 x 14.8 cm
Verlag Peter Lang GmbH, Internationaler Verlag der Wissenschaften
LieferzeitLieferung in 7-14 Werktagen
Unsere Prinzipien
  • ✔ kostenlose Lieferung innerhalb Österreichs ab € 35,–
  • ✔ über 1,5 Mio. Bücher, DVDs & CDs im Angebot
  • ✔ alle FALTER-Produkte und Abos, nur hier!
  • ✔ keine Weitergabe personenbezogener Daten an Dritte
  • ✔ als 100% österreichisches Unternehmen liefern wir innerhalb Österreichs mit der Österreichischen Post
Kurzbeschreibung des Verlags

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.

Mehr Informationen
Reihe Studies in Philosophy, History of Ideas and Modern Societies
Themen Philosophie und Religion Philosophie
ISBN 9783631833728
Sprache Englisch
Erscheinungsdatum 27.01.2021
Größe 21 x 14.8 cm
Verlag Peter Lang GmbH, Internationaler Verlag der Wissenschaften
LieferzeitLieferung in 7-14 Werktagen
Unsere Prinzipien
  • ✔ kostenlose Lieferung innerhalb Österreichs ab € 35,–
  • ✔ über 1,5 Mio. Bücher, DVDs & CDs im Angebot
  • ✔ alle FALTER-Produkte und Abos, nur hier!
  • ✔ keine Weitergabe personenbezogener Daten an Dritte
  • ✔ als 100% österreichisches Unternehmen liefern wir innerhalb Österreichs mit der Österreichischen Post