Olenev, A. A., Zvereva, L. G., & Saieg, T. H. (2022). Improving the Learning and Teaching of Mathematical Logic Elements Using Maple. Journal of Higher Education Theory and Practice, 22(8). https://doi.org/10.33423/jhetp.v22i8.5315