ИСТИНА |
Войти в систему Регистрация |
|
ИПМех РАН |
||
Диссертация посвящена проблемам выразимости и полноты для функциональных систем формул двузначной логики с операцией суперпозиции и операциями типа Харропа (пропозициональных исчислений).