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

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

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

Имеются экземпляры в отделах: всего 1 : ХРЦ (1)
Свободны: ХРЦ (1)

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