TY - BOOK AU - Катленд,Найджел AU - Мучник,А.А. AU - Маслов,С.Ю. TI - Вычислимость: Введение в теорию рекурсивных функций PY - 1983/// CY - Москва PB - Мир KW - Функции рекурсивные - Вычисление N1 - Оригинал на англ.; Nigel Cutland -; Cambridge : Cambridge University Press : 1980 ER -