"Вычислимые решения уравнений над эндоморфизмами негативных нумераций" - читать интересную книгу автора (Комбарро Э.Ф.)