Bazarbayevich, M. K. . and Kamildjanovich, M. B. . (2021) “Use of Elements of Predicate Algebra in Solving Proof Problems”, Central Asian Journal of Theoretical and Applied Science, 2(8), pp. 31–34. Available at: https://www.cajotas.casjournal.org/index.php/CAJOTAS/article/view/219 (Accessed: 22 April 2026).