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