Olenev, A. A.; Zvereva, L. G.; Saieg, T. H. Improving the Learning and Teaching of Mathematical Logic Elements Using Maple. JHETP 2022, 22.