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

Бурлуцкий, В. В. Реализация обратного метода установления выводимости для модальной логики КТ : автореферат диссертации на соискание ученой степени канд. физ.-мат. наук :05.13.01 / В. В. Бурлуцкий. - Томск, 2001. - 23 c. + 100 экз. - Текст : непосредственный.
В надзаг.: Том. гос. ун-т. Библиогр.: с. 22-23 (12 назв.)

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

Держатели документа:
Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): АР02-6298)

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

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