С. Н. Артемов

Подстановки правило Примитивная рекурсия Примитивно рекурсивная функция Производное правило Простое множество Прямой пересчет Равносильность Рекуррентное соотношение Универсальная функция Универсальный алгоритм Универсальный нормальный алгорифм Формализации метод