![]() |
ИСТИНА |
Войти в систему Регистрация |
ИПМех РАН |
||
Предлагается полное интуиционистское исчисление высказываний с эквиваленцией и конъюнкцией в качестве единственных логических связок.