Вычислимость. Введение в теорию рекурсивных функций

Библиографические подробности
Главный автор: Катленд Н.
Формат:
Язык:Russian
Опубликовано: М МИР 1983
Предметы: