Вернуться к Подробностям о статье Алгоритмическая проблема аксиоматизации табличной нормальной модальной логики. Скачать Скачать PDF