Olenev, A. A., L. G. Zvereva, and T. H. Saieg. “Improving the Learning and Teaching of Mathematical Logic Elements Using Maple”. Journal of Higher Education Theory and Practice, vol. 22, no. 8, Aug. 2022, doi:10.33423/jhetp.v22i8.5315.