يوسف لأ. Foundations and logical inference Rules in First Order Logic. lark [Internet]. 2019 May 5 [cited 2026 Apr. 16];8(2):475-8. Available from: https://lark.uowasit.edu.iq/index.php/lark/article/view/616