TY  - JOUR
AU  - I. V. Latkin
TI  - The recognition complexity of decidable theories
JO  - Eurasian mathematical journal
PY  - 2022
SP  - 44
EP  - 68
VL  - 13
IS  - 1
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/EMJ_2022_13_1_a4/
LA  - en
ID  - EMJ_2022_13_1_a4
ER  -