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://mpcs.sci.am/index.php/mpcs/article/view/36. Acesso em: 22 dec. 2024.