Теория рекурсивных функций и эффективная вычислимость

Библиографические подробности
Главный автор: Роджерс Х.
Формат:
Язык:Undetermined
Опубликовано: М Мир 1972