Aмбарцумян A. A.; Гаспарян, Г. А.; Ованнисян, С. А.; Чубарян, А. А. On the Numbers of Minimal Tautologies and Properties of Their Proofs in Classical and Nonclassical Logic. MPCS 2021, 52, 67-73.