Sayadyan S. M.

Publications in Math-Net.Ru

1. Comparison of several proof systems of intuitionistic propositional logic
   
   Proceedings of the YSU, Physical and Mathematical Sciences, 2005, no. 2,  25–30