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