Успенский теория вычислимых функций

  • Успенский В.А. Лекции о вычислимых функциях.- М., Наука, 1960. – 492 с.
    Настоящие «Лекции» посвящены изложению основ теории вычислимых функций (проводимому на базе принятого в настоящее время отождествления их — для случая функций с натуральными аргументами и значениями — с частично-рекурсивными функциями), а также некоторым приложениям этой теории.