М. Н. Леонтьева, “Сильная конструктивизируемость булевых алгебр элементарной характеристики $(\infty,0,0)$”, Алгебра и логика, 53:2 (2014), 185–205 ; M. N. Leontieva, “Strong constructivizability of Boolean algebras of elementary characteristic $(\infty,0,0)$”, Algebra and Logic, 53:2 (2014), 119–132
Ekaterina B. Fokina, Valentina Harizanov, Alexander Melnikov, Turing's Legacy, 2014, 124
М. Н. Леонтьева, “Минимальность некоторых условий разрешимости для булевых алгебр”, Сиб. матем. журн., 53:1 (2012), 132–147 ; M. N. Leontyeva, “The minimality of certain decidability conditions for Boolean algebras”, Siberian Math. J., 53:1 (2012), 106–118
М. Н. Леонтьева, “Булевы алгебры элементарной характеристики (1,0,1) с вычислимыми множеством атомов и идеалом Ершова–Тарского”, Алгебра и логика, 50:2 (2011), 133–151 ; M. N. Leontieva, “Boolean algebras of elementary characteristic (1,0,1) whose set of atoms and Ershov–Tarski ideal are computable”, Algebra and Logic, 50:2 (2011), 93–105
М. Н. Леонтьева, “Дoстаточные условия разрешимости для булевых алгебр”, Вестн. НГУ. Сер. матем., мех., информ., 11:4 (2011), 63–68 ; M. N. Leontyeva, “Sufficient Conditions of Decidability of Boolean Algebras”, J. Math. Sci., 195:6 (2013), 827–831
М. Н. Леонтьева, “Булевы алгебры элементарной характеристики $(1,0,1)$ с вычислимыми множеством атомов и идеалом атомных элементов”, Вестн. НГУ. Сер. матем., мех., информ., 10:1 (2010), 65–69 ; M. N. Leontyeva, “Boolean Algebras of Elementary Characteristic $(1,0,1)$ with the Computable Set of Atoms and the Ideal of Atomic Elements”, J. Math. Sci., 186:3 (2012), 461–465
П. Е. Алаев, “Сильно конструктивные булевы алгебры”, Алгебра и логика, 44:1 (2005), 3–23 ; P. E. Alaev, “Strongly constructive Boolean algebras”, Algebra and Logic, 44:1 (2005), 1–12
П. Е. Алаев, “Разрешимые булевы алгебры характеристики $(1,0,1)$”, Матем. тр., 7:1 (2004), 3–12 ; P. E. Alaev, “Decidable Boolean Algebras of Characteristic $(1,0,1)$”, Siberian Adv. Math., 15:1 (2005), 1–10