Bazarbayevich, M. K. .; Kamildjanovich, M. B. . Use of Elements of Predicate Algebra in Solving Proof Problems. CAJOTAS 2021, 2, 31-34.