Sayadyan, S. M. 2005. “COMPARISON OF SEVERAL PROOF SYSTEMS OF INTUITIONISTIC PROPOSITIONAL LOGIC”. Proceedings of the YSU A: Physical and Mathematical Sciences 39 (2 (207). Yerevan, Armenia:25-30. https://doi.org/10.46991/PYSU:A/2005.39.2.025.