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