Alexej P. Pynko grāmatas
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% ar kodu BOOKS
Piegādātāja noliktavā
Implicative and Disjunctive Prevarieties Algebraic Aspects of Deduction Theorem
-25% ar kodu BOOKS
Piegādātāja noliktavā
Implicativity Versus Filtrality Many-Sorted Algebraic Framework
-25% ar kodu BOOKS
Piegādātāja noliktavā
Abstract Sequent Axiomatizations of Finitary Universal Horn Theories Abstract Proof Theory Versus General Algebraic Logic
-25% ar kodu BOOKS
Piegādātāja noliktavā
Equivalential Universal Horn Theories Algebraic Systems Versus Pure Algebras Within General Algebraic Logic
-25% ar kodu BOOKS
Piegādātāja noliktavā
Axiomatization of Finitely-valued Logics
-25% ar kodu BOOKS
Piegādātāja noliktavā
Advances in Many-valued Logic Universal Algebraic Tools
-25% ar kodu BOOKS
Piegādātāja noliktavā
Semantics of Sequent Calculi Fuzziness Versus Non-multiplicativity
-25% ar kodu BOOKS
Piegādātāja noliktavā