Исследование допустимых правил вывода в нестандартных суперинтуиционистских и модальных транзитивных логиках Автореферат диссертации на соискание ученой степени кандидата физико-математических наук. 01.01.06.
| Main Author: | |
|---|---|
| Format: | Book |
| Language: | Russian |
| Published: |
Красноярск
2002
|
| Subjects: | |
| Online Access: | Перейти в каталог НБ ТГУ |
| Physical Description: | 18 с. |
|---|---|
| Bibliography: | Библиогр.: с.15-18 |