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