Hambardzumyan, Arsen A. 2020. “Investigation of Monotonous Properties for Frege Systems”. Mathematical Problems of Computer Science 53 (July):14-20. https://doi.org/10.51408/1963-0048.