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