Olenev, Aleksandr A., Larisa G. Zvereva, and Timor H. Saieg. “Improving the Learning and Teaching of Mathematical Logic Elements Using Maple”. Journal of Higher Education Theory and Practice 22, no. 8 (August 11, 2022). Accessed November 5, 2024. https://mail.articlegateway.com/index.php/JHETP/article/view/5315.