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