Raamatud 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% koodiga BOOKS
Meie tarnija laos
Implicative and Disjunctive Prevarieties Algebraic Aspects of Deduction Theorem
-25% koodiga BOOKS
Meie tarnija laos
Implicativity Versus Filtrality Many-Sorted Algebraic Framework
-25% koodiga BOOKS
Meie tarnija laos
Abstract Sequent Axiomatizations of Finitary Universal Horn Theories Abstract Proof Theory Versus General Algebraic Logic
-25% koodiga BOOKS
Meie tarnija laos
Equivalential Universal Horn Theories Algebraic Systems Versus Pure Algebras Within General Algebraic Logic
-25% koodiga BOOKS
Meie tarnija laos
Axiomatization of Finitely-valued Logics
-25% koodiga BOOKS
Meie tarnija laos
Advances in Many-valued Logic Universal Algebraic Tools
-25% koodiga BOOKS
Meie tarnija laos
Semantics of Sequent Calculi Fuzziness Versus Non-multiplicativity
-25% koodiga BOOKS
Meie tarnija laos