Aмбарцумян A. A.; ГАСПАРЯН, Г. А.; ОВАННИСЯН, С. А.; ЧУБАРЯН, А. А. On the Numbers of Minimal Tautologies and Properties of Their Proofs in Classical and Nonclassical Logic. Mathematical Problems of Computer Science, [S. l.], v. 52, p. 67–73, 2021. DOI: 10.51408/1963-0046. Disponível em: http://93.187.165.2/index.php/mpcs/article/view/36. Acesso em: 28 sep. 2024.