Return to Article Details
Алгоритмическая проблема аксиоматизации табличной нормальной модальной логики.
Download
Download PDF