Тьюрингова сводимость как алгебраическая вложимость А.С. Морозов (1997) Sibirskij matematiceskij zurnal