Полное описание
>
Пахомов, Ф. Н. Некоторые алгоритмические вопросы для полимодальных логик доказуемости : автореф. дис. ... канд. физ.-мат. наук : 01.01.06 / Ф. Н. Пахомов. - М. : [б. и.], 2015. - 10 с. - Библиогр.: с. 10 (3 назв.). - 100 экз. - Текст : непосредственный.
В надзаг.: Мат. ин-т им. В. А. Стеклова Рос. акад. наук.
ГРНТИ | УДК | |
27.03.19 | 510.643(043) | |
03.91 |
Кл.слова (ненормированные): логика геделя-леба -- исчисление высказываний -- алгоритмическая сложность>
Имеются экземпляры в отделах: всего 1 : ХРЦ (1)
Свободны: ХРЦ (1)
Заказ фрагмента документа ₽