Полное описание

Пахомов, Ф. Н. Некоторые алгоритмические вопросы для полимодальных логик доказуемости : автореф. дис. ... канд. физ.-мат. наук: 01.01.06 / Ф. Н. Пахомов. - 2015. - 10 с. - Библиогр.: с. 10 (3 назв.). - 100 экз. - Текст : непосредственный.
В надзаг.: Мат. ин-т им. В. А. Стеклова Рос. акад. наук.

ГРНТИ	УДК
27.03.19	510.643(043)
03.91

Кл.слова (ненормированные): АЛГОРИТМИЧЕСКАЯ СЛОЖНОСТЬ -- ИСЧИСЛЕНИЕ ВЫСКАЗЫВАНИЙ -- ЛОГИКА ГЕДЕЛЯ-ЛЕБА
Держатели документа:
Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): Ар15-9805)

Шифр в сводном ЭК: a2ea8dffd36139b224b9de1341fae7c7

Заказать издание
Заказ фрагмента документа ₽