TY  - JOUR
AU  - S. M. Sayadyan
TI  - Comparison of several proof systems of intuitionistic propositional logic
JO  - Proceedings of the Yerevan State University. Physical and mathematical sciences
PY  - 2005
SP  - 25
EP  - 30
IS  - 2
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/UZERU_2005_2_a3/
LA  - hy
ID  - UZERU_2005_2_a3
ER  -