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 (Aug. 2021), 31–34.