Дискретные модели: представление конечными деревьями и разрешимость формальных теорий : монография / Ю.Д. Корольков, В.И. Мартьянов ; Министерство образования и науки РФ, Иркутский национальный исследовательский технический университет
Язык: русский.Выходные данные: Иркутск : Изд-во Иркутского национального исследовательского технического университета, 2017Физическая характеристика: 159 с. ; 20 см.ISBN: 9785803811930 Библиография: Библиогр.: с. 148-159 (100 назв.).Предметная рубрика - Тема: Алгебраические системы | Нумерации вычислимые | Рекурсивные функции | Математическая логика -- Модели Неконтролируемые предметные термины: дискретная математикаДругие классификации: ( ) В12,0 ; ( ) З973.233-018,0 ; В152.7 ; В12Коллекция: НБР Тип экземпляра: КнигаНет реальных экземпляров для этой записи
Библиогр.: с. 148-159 (100 назв.)