М 38 Машины Тьюринга и рекурсивные функции [Текст] / Г.-Д. Эббинхауз [и др.] ; пер. с нем. Э. Г. Белага. - Москва : Мир, 1972. - 264 с. : рис. - (Современная математика)
Кл.слова (ненормовані): ВЫЧИСЛИТЕЛЬНЫЕ ФУНКЦИИ -- МАТЕМАТИЧЕСКАЯ ЛОГИКА -- ПОСТРОЕНИЕ МНОЖЕСТВ Дод.точки доступу: Эббинхауз, Г.-Д. Якобс, К. Ман, Ф.-К. Хермес, Г. Белага, Э. Г. \пер. с нем.\ Вільних прим. немає |