На главную

Реализация обратного метода установления выводимости для модальной логики КТ : Автореф. дис. на соиск. учен. степ. к.ф.-м.н. : Спец. 05.13.01

Реализация обратного метода установления выводимости для модальной логики КТ : Автореф. дис. на соиск. учен. степ. к.ф.-м.н. : Спец. 05.13.01

22, [1] с.

Российская Национальная Библиотека

Полное библиографическое описание

  • 100% от первой страницы документа

  • Произвольный отрывок, составляющий 25% документа

Обложка
Открыть в мобильном приложении