Kirjat Alexej P. Pynko
Interpretations and extensions of many-sorted Universal Horn theories: Uniform Algebraic Model Theory for propositional calculi of both Hilbert and Gentzen types Second Edition
-25% koodilla BOOKS
Toimittajalla varastossa
Implicative and Disjunctive Prevarieties Algebraic Aspects of Deduction Theorem
-25% koodilla BOOKS
Toimittajalla varastossa
Implicativity Versus Filtrality Many-Sorted Algebraic Framework
-25% koodilla BOOKS
Toimittajalla varastossa
Abstract Sequent Axiomatizations of Finitary Universal Horn Theories Abstract Proof Theory Versus General Algebraic Logic
-25% koodilla BOOKS
Toimittajalla varastossa
Equivalential Universal Horn Theories Algebraic Systems Versus Pure Algebras Within General Algebraic Logic
-25% koodilla BOOKS
Toimittajalla varastossa
Axiomatization of Finitely-valued Logics
-25% koodilla BOOKS
Toimittajalla varastossa
Advances in Many-valued Logic Universal Algebraic Tools
-25% koodilla BOOKS
Toimittajalla varastossa
Semantics of Sequent Calculi Fuzziness Versus Non-multiplicativity
-25% koodilla BOOKS
Toimittajalla varastossa