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