Исследование допустимых правил вывода в нестандартных суперинтуиционистских и модальных транзитивных логиках Автореферат диссертации на соискание ученой степени кандидата физико-математических наук. 01.01.06.
Main Author: | Руцкий, Алексей Николаевич |
---|---|
Format: | Book |
Language: | Russian |
Published: |
Красноярск
2002
|
Subjects: | |
Online Access: | Перейти в каталог НБ ТГУ |
Similar Items
-
Исследование правил вывода в нестандартных логиках Автореферат диссертации на соискание ученой степени кандидата физико-математических наук. 01.01.06
by: Федоришин, Богдан Романович
Published: (2002) -
Исследование правил вывода в модальных логиках, расширяющих S4 Автореферат диссертации на соискание ученой степени андидата физико-математических наук. 01.01.06
by: Кияткин, Владимир Ростиславович
Published: (1999) -
Новые константы в предтабличных суперинтуиционистских логиках автореферат диссертации на соискание ученой степени кандидата физико-математических наук : 01.01.06
by: Кощеева, Анна Константиновна
Published: (2015) -
Допустимые и выводимые правила вывода в нестандартных логиках автореферат диссертации на соискание ученой степени кандидата физико-математических наук. 01.01.06
by: Юрасова, Екатерина Михайловна
Published: (2004) -
Допустимые правила вывода в нестандартных логиках и их базисы Автореферат диссертации на соискание ученой степени кандидата физико-математических наук. 01.01.06.
by: Римацкий, Виталий Валентинович
Published: (2000)