TY  - GEN
AU  - Бурлуцкий,Владимир Владимирович
AU  - Новосельцев,Виталий Борисович
TI  - Реализация обратного метода для модальной логики КТ
KW  - математика
KW  - Математический анализ
KW  - алгебра
KW  - модальная логика
KW  - теоремы
KW  - доказательства
KW  - труды ученых ТГУ
N1  - Библиогр.: с. 38
ER  -