Катленд, Найджел Вычислимость : Введение в теорию рекурсивных функций / Н. Катленд ; Пер. с англ. А.А. Мучника ; Под ред. С.Ю. Маслова. - Москва : Мир, 1983. - 256 с. : ил. ; 21 см. Subjects--Topical Terms: Функции рекурсивные - Вычисление