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), 25–30. https://doi.org/10.46991/PYSU:A/2005.39.2.025