BAZARBAYEVICH, M. K.; KAMILDJANOVICH, M. B. Use of Elements of Predicate Algebra in Solving Proof Problems. Central Asian Journal of Theoretical and Applied Science, v. 2, n. 8, p. 31-34, 18 Aug. 2021.