Tableau Methods for Propositional Logic and Term Logic
Versandkostenfrei!
Versandfertig in 6-10 Tagen
67,95 €
inkl. MwSt.
PAYBACK Punkte
0 °P sammeln!
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.
Andere Kunden interessierten sich für
