Olenev AA, Zvereva LG, Saieg TH. Improving the Learning and Teaching of Mathematical Logic Elements Using Maple. JHETP [Internet]. 2022 Aug. 11 [cited 2024 Nov. 5];22(8). Available from: https://mail.articlegateway.com/index.php/JHETP/article/view/5315