Вернуться к Подробностям о статье
Булево-алгебраический подход к полноте для нормальных модальных предикатных логик
Скачать
Скачать PDF