home
>
Completeness theory for propositional logics
completeness theory for propositional logics
Completeness theory for propositional logics
Develops the theory of one of the most important notions in the methodology of formal systems this title exploits the theory of logical matrices and the theory of consequence operations

SIMILAR PRODUCTS