Bazarbayevich, Mamadaliyev Kamildjan, and Mamadaliyev Baxtiyor Kamildjanovich. “Use of Elements of Predicate Algebra in Solving Proof Problems”. Central Asian Journal of Theoretical and Applied Science 2, no. 8 (August 18, 2021): 31–34. Accessed April 26, 2026. https://www.cajotas.casjournal.org/index.php/CAJOTAS/article/view/219.