Chubaryan, A.A. 2022. PROOF COMPLEXITIES ON A CLASS OF BALANCED FORMULAS IN SOME PROPOSITIONAL SYSTEMS. Proceedings of the YSU A: Physical and Mathematical Sciences. 56, 2 (258) (Jul. 2022), 58–65. DOI:https://doi.org/10.46991/PYSU:A/2022.56.2.058.