Bazarbayevich, M. K. ., & Kamildjanovich, M. B. . (2021). Use of Elements of Predicate Algebra in Solving Proof Problems. Central Asian Journal of Theoretical and Applied Science, 2(8), 31–34. Retrieved from https://www.cajotas.casjournal.org/index.php/CAJOTAS/article/view/219