Dr. Alexej P. Pynko
Dr. Alexej P. Pynko is a Senior Scientific Researher of
the Digital Automata Theory Department (100) of
the V.M. Glushkov Institute of Cybernetics (in Kiev)
of the National Academy of Sciences of Ukraine,
where he has been working since 1993 till now.
In 2000 he got his PhD degree on Physics and Mathematics
(Mathematical Logic, Algorithm Theory and Discrete Mathematics)
at the Taras Shevchenko Kiev National University.
Popular items by Dr. Alexej P. Pynko
View all offers-
Equivalential Universal Horn Theories: Algebraic systems versus pure algebras within General Algebraic Logic
Pynko, Dr. Alexej P.
Item prices starting from
View 3 offersUS$ 7.45
Also find
New -
Deduction Theorem and Peirce Law in General Algebraic Logic: Constructive Proofs in General Sentential Logic and Universal Algebra
Pynko, Dr. Alexej P.
Item prices starting from
View 4 offersUS$ 58.00
Also find
New -
Abstract sequent axiomatizations of finitary universal Horn theories: Abstract Proof Theory versus General Algebraic Logic
Pynko, Dr Alexej P.
Item prices starting from
View 4 offersUS$ 145.00
Also find
New -
Equivalent universal Horn theories: General Algebraic Logic
Pynko, Alexej P.
Item prices starting from
View 5 offersUS$ 69.00
Also find
New -
Many-sorted General Algebraic Logic: Subprevarieties versus extensions
Pynko, Dr. Alexej Pavlovich
Item prices starting from
View 2 offersUS$ 384.18
Also find
New -
Semantics of sequent calculi: Fuzziness versus non-multiplicativity
Pynko, Dr. Alexej P.
Item prices starting from
View 1 offerUS$ 52.00
Also find
New -
Abstract General Algebraic Logic: Applications to sequent calculi
Pynko, Dr. Alexej Pavlovich
Item prices starting from
View 2 offersUS$ 194.00
Also find
New -
Implicative and Disjunctive Prevarieties: Algebraic aspects of Deduction Theorem
Pynko, Dr. Alexej P.
Item prices starting from
View 2 offersUS$ 194.00
Also find
New
You've viewed 8 of 22 titles