Knygos pagal 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% su kodu BOOKS
Turime sandėlyje pas mūsų tiekėją
Implicative and Disjunctive Prevarieties Algebraic Aspects of Deduction Theorem
-25% su kodu BOOKS
Turime sandėlyje pas mūsų tiekėją
Implicativity Versus Filtrality Many-Sorted Algebraic Framework
-25% su kodu BOOKS
Turime sandėlyje pas mūsų tiekėją
Abstract Sequent Axiomatizations of Finitary Universal Horn Theories Abstract Proof Theory Versus General Algebraic Logic
-25% su kodu BOOKS
Turime sandėlyje pas mūsų tiekėją
Equivalential Universal Horn Theories Algebraic Systems Versus Pure Algebras Within General Algebraic Logic
-25% su kodu BOOKS
Turime sandėlyje pas mūsų tiekėją
Axiomatization of Finitely-valued Logics
-25% su kodu BOOKS
Turime sandėlyje pas mūsų tiekėją
Advances in Many-valued Logic Universal Algebraic Tools
-25% su kodu BOOKS
Turime sandėlyje pas mūsų tiekėją
Semantics of Sequent Calculi Fuzziness Versus Non-multiplicativity
-25% su kodu BOOKS
Turime sandėlyje pas mūsų tiekėją