%0 Journal Article
%A S. M. Sayadyan
%T Comparison of several proof systems of intuitionistic propositional logic
%J Proceedings of the Yerevan State University. Physical and mathematical sciences
%D 2005
%P 25-30
%N 2
%I mathdoc
%U http://geodesic.mathdoc.fr/item/UZERU_2005_2_a3/
%G hy
%F UZERU_2005_2_a3