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