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 (Aug. 2022). DOI:https://doi.org/10.33423/jhetp.v22i8.5315.