• Coronavirus: Wir arbeiten weiter! Durch die schwierige Lage kann es auch bei uns zu Verzögerungen kommen. Wir hoffen auf Ihr Verständnis.

Completeness Theory for Propositional Logics

Completeness Theory for Propositional Logics
85,59 € *

inkl. MwSt. zzgl. Versandkosten

Sofort versandfertig, Lieferzeit ca. 1-3 Werktage

Erhältlich als:

Neuware
ISBN: 9783764385170
Autor: Witold A. Pogorzelski
Einband/Bindung: Taschenbuch
Sprache: Englisch
Seitenzahl: 178
Erscheinungsjahr: 2008
Verlag: Springer Basel AG
  • 30 Tage Rückgaberecht
  • Günstige Preise
  • Versandkostenfrei ab 20€
Beschreibung
This book develops the theory of one of the most important notions in the methodology of formal systems. Particularly, completeness plays an important role in propositional logic where many variants of the notion have been defined. This approach allows also for a more profound view upon some essential properties of propositional systems. For these purposes, the theory of logical matrices, and the theory of consequence operations is exploited.
Artikel-Nr.: 9783764385170
Weiterführende Links zu "Completeness Theory for Propositional Logics"
Kunden kauften auch
Kunden haben sich ebenfalls angesehen
Zuletzt angesehen