Chubaryan, Anahit 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). Yerevan, Armenia:58-65. https://doi.org/10.46991/PYSU:A/2022.56.2.058.