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