Logical Foundations of Computation: Techniques for Reliable and Efficient Programming. IJCSEI [Internet]. 2026 Jan. 4 [cited 2026 Feb. 17];2(1):1-9. Available from: https://internationaljournalssrp.org/index.php/ijcsei/article/view/152