|
ИСТИНА |
Войти в систему Регистрация |
ИСТИНА ЦЭМИ РАН |
||
On the sharpness and the injective property of basic justification modelsстатья
- Автор: Krupski Vladimir N.
- Журнал: ArXiv e-prints
- Номер: 1709.01316v1
- Год издания: 2017
- Первая страница: 1
- Последняя страница: 13
- Аннотация: В языке логики свидетельств аксиоматизированы свойства точности и инъективности базисных моделей.
- Добавил в систему: Крупский Владимир Николаевич