Машины Тьюринга и рекурсивные функции [текст] / Г. - Д. Эббинхауз, К. Якобс, Ф. - К. Ман, Г. Хермес ; пер. с нем. Э. Г. Белаги. - Москва : Мир, 1972. - 264 с. : черт. - (Современная математика. Популярная серия). - Списки лит. в конце глав; Указ. обозначений, имен. и предм.: с. 248-262.
Пoдробнее
