Re: Логико-религиозная задача

[Re: ]   #1869936656 24.02.03 00:23

В ответ на: Прочитайте известную книгу Х.Роджерса "Теория рекурсивных функций и эффективная вычислимость", главы посвященные алгоритму Ершова-Тарского и арифметической иерархии.
Пардон, опечатался. Не "Ершова-Тарского", а "Тарского-Куратовского".