Исследование правил вывода в модальных логиках, расширяющих S4 Автореферат диссертации на соискание ученой степени андидата физико-математических наук. 01.01.06
| Main Author: | |
|---|---|
| Format: | Book |
| Language: | Russian |
| Published: |
Красноярск
1999
|
| Subjects: | |
| Online Access: | Перейти в каталог НБ ТГУ |
Internet
Перейти в каталог НБ ТГУНаучная библиотека ТГУ: Книгохранилище
| Call Number: |
1-868740к 51 |
|---|---|
| Available Place a Hold |