BAZARBAYEVICH, M. K. .; KAMILDJANOVICH, M. B. . Use of Elements of Predicate Algebra in Solving Proof Problems. Central Asian Journal of Theoretical and Applied Science, [S. l.], v. 2, n. 8, p. 31–34, 2021. Disponível em: https://www.cajotas.casjournal.org/index.php/CAJOTAS/article/view/219. Acesso em: 26 apr. 2026.