Автор: Катленд Найджел

Основное заглавие: Вычислимость

Сведения, относящ. к заглавию: введение в теорию рекурсивных функций

Ответственность: пер. с англ. Мучника А. А. ; под ред. Маслова С. Ю.

Физический носитель: Текст

Год публикации: 1983

Место издания: Москва

Издательство: Мир

Объем: 256 с.

Ключевые слова: Функций теория; Рекурсивные функции;

ББК: 22.127

Библиография: Библиогр.: с. 252-254