Допустимые и выводимые правила вывода в нестандартных логиках : автореферат диссертации ... кандидата физико-математических наук
Цифровые и тематические книжные коллекции издания
Похожие публикации
Явный базис допустимых правил вывода логик конечной ширины : статья из журнала
- Римацкий В. В.
- 2008 год
Исследование правил вывода в нестандартных логиках : автореферат диссертации ... кандидата физико-математических наук
- Федоришин Богдан Романович
- 2002 год
Нестандартные логики. Реляционная семантика : электрон. учеб.-метод. комплекс дисциплины
- Голованов Михаил Иванович и др.
- 2008 год
Явный базис допустимых правил вывода табличной логики : статья из журнала
- Лукина О. В. и др.
- 2006 год
Исследование допустимых правил вывода в нестандартных суперинтуиционистских и модальных транзитивных логиках :…
- Руцкий Алексей Николаевич
- 2002 год
Допустимые и выводимые правила вывода в нестандартных логиках : диссертация ... кандидата физико-математических наук
- Юрасова Екатерина Михайловна
- 2004 год
Разрешимость по допустимости правил вывода некоторых линейных логик : статья из журнала
- Кошелева Анна Владимировна
- 2006 год
Исследование правил вывода в модальных логиках, расширяющих S4 : автореферат дис. ... канд. физ.-мат. наук
- Кияткин Владимир Ростиславович
- 1999 год
Задачи по теории множеств, математической логике и теории алгоритмов
- Лавров Игорь Андреевич и др.
- 2003 год
Математическая логика и теория алгоритмов : учебная программа
- Моисеенкова Татьяна Владимировна
- 2025 год
Математическая логика и теория алгоритмов : учебное пособие
- Богульская Нина Александровна и др.
- 2011 год
Математическая логика и теория алгоритмов : учебное пособие
- Вайнштейн Юлия Владимировна и др.
- 2019 год
Математическая логика и теория алгоритмов : методические указания по выполнению контрольной работы
- Вайнштейн Юлия Владимировна
- 2009 год