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