Latkin I. The Recognition Complexity of Decidable Theories. EMJ [Internet]. 2022 Mar. 30 [cited 2025 Sep. 9];13(1):44-68. Available from: https://emj.enu.kz/index.php/main/article/view/249