На главную
Реализация обратного метода установления выводимости для модальной логики КТ : Автореф. дис. на соиск. учен. степ. к.ф.-м.н. : Спец. 05.13.01
Реализация обратного метода установления выводимости для модальной логики КТ : Автореф. дис. на соиск. учен. степ. к.ф.-м.н. : Спец. 05.13.01
22, [1] с.
Российская Национальная Библиотека
Полное библиографическое описание
-
100% от первой страницы документа
-
Произвольный отрывок, составляющий 25% документа
Открыть в мобильном приложении