Полнота и аксиоматизируемость неклассических логик с дополнительными логическими связками
Сохранить в:
| Автор: | |
|---|---|
| Тип документа: | Автореферат |
| Язык: | Russian |
| Год издания: |
2000
|
| Online-ссылка: | http://eanbur.unatlib.ru/handle/123456789/3620 |
| Ключевые слова: |