Aleksanyan, S. R. 2007. “ON PROOF NORMAL FORMS FOR SOME SYSTEMS OF CLASSICAL PROPOSITIONAL LOGIC”. Proceedings of the YSU A: Physical and Mathematical Sciences 41 (1 (212). Yerevan, Armenia:38-45. https://doi.org/10.46991/PYSU:A/2007.47.1.038.