Development and Evaluation of an Intelligent Tutoring System for Teaching Natural Deduction. ICCE [Internet]. 2012 Nov. 26 [cited 2025 Oct. 1];. Available from: https://library.apsce.net/index.php/ICCE/article/view/544