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