Bücher versandkostenfrei*100 Tage RückgaberechtAbholung in der Wunschfiliale
NEU: Das Hugendubel Hörbuch Abo - jederzeit, überall, für nur 7,95 € monatlich!
Jetzt entdecken
mehr erfahren
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.
Inhaltsverzeichnis
logic logic of names philosophical logic proof theory propositional logic tableau methods
Es wurden noch keine Bewertungen abgegeben. Schreiben Sie die erste Bewertung zu "Tableau Methods for Propositional Logic and Term Logic" und helfen Sie damit anderen bei der Kaufentscheidung.