![]() |
ИСТИНА |
Войти в систему Регистрация |
ИСТИНА ЦЭМИ РАН |
||
Описана криптографическая семантика для пропозиционального фрагмента основной логики инфонов (Гуревич, Ниман, 2008).