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