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

Цифровые и тематические книжные коллекции издания