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