Записки научных семинаров Тульской школы теории чисел. Вып. 2. 2023 г.

8 Б. П. Ваньков 5. Church A., 1960, "Introduction to mathematical logic" : Transl. from English - M.: “Foreign Literature”, 485 p. 6. Lindon R., Schupp P., 1980, "Combinatorial theory of groups" – M., 368 p. 7. Lysenok I.G., 1989, "On some algorithmic properties of hyperbolic groups" , Izv. Academy of Sciences of the USSR. Ser. math. Vol. 53. Issue 4. P. 814–832.