TY  - BOOK
AU  - Корольков, Ю. Д.
AU  - Мартьянов, В. И.
TI  - Дискретные модели: представление конечными деревьями и разрешимость формальных теорий
SN  - 9785803811930
PY  - 2017///
CY  - Иркутск
PB  - Изд-во Иркутского национального исследовательского технического университета
KW  - Алгебраические системы
KW  - RU\NLR\AUTH\6628111
KW  - Нумерации вычислимые
KW  - RU\NLR\AUTH\66783083
KW  - Рекурсивные функции
KW  - RU\NLR\AUTH\661288424
KW  - Математическая логика
KW  - Модели
KW  - RU\NLR\AUTH\661533614
KW  - дискретная математика
KW  - В12,0
KW  - rubbk
KW  - З973.233-018,0
KW  - В152.7
KW  - В12
N2  - Библиогр.: с. 148-159 (100 назв.)
ER  -