"О вычислимости над моделями разрешимых теорий" - читать интересную книгу автора (Пузаренко В.Г.)