Olenev, Aleksandr A., Larisa G. Zvereva, and Timor H. Saieg. 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.