TY  - JOUR
AU  - S. R. Aleksanyan
TI  - On proof normal forms for some systems of classical propositional logic
JO  - Proceedings of the Yerevan State University. Physical and mathematical sciences
PY  - 2007
SP  - 39
EP  - 45
IS  - 1
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/UZERU_2007_1_a4/
LA  - hy
ID  - UZERU_2007_1_a4
ER  -