Apinyan, L.A. and Chubaryan, A.A. 2022. On Sizes of Linear and Tree-Like Proofs for any Formulae Families in Some Systems of Propositional Calculus. Mathematical Problems of Computer Science. 57, (Jun. 2022), 47–55. DOI:https://doi.org/10.51408/1963-0086.