Исследование правил вывода в модальных логиках, расширяющих S4 Автореферат диссертации на соискание ученой степени андидата физико-математических наук. 01.01.06

Bibliographic Details
Main Author: Кияткин, Владимир Ростиславович
Format: Book
Language:Russian
Published: Красноярск 1999
Subjects:
Online Access:Перейти в каталог НБ ТГУ

Similar Items