Разрешимость эквациональной теории положительных чисел с возведением в степень. Р.Г. Гуревич — 1984 Sibirskij matematiceskij zurnal