@article{UZERU_2005_2_a3,
     author = {S. M. Sayadyan},
     title = {Comparison of several proof systems of intuitionistic propositional logic},
     journal = {Proceedings of the Yerevan State University. Physical and mathematical sciences},
     pages = {25--30},
     publisher = {mathdoc},
     number = {2},
     year = {2005},
     language = {hy},
     url = {http://geodesic.mathdoc.fr/item/UZERU_2005_2_a3/}
}