Return to Article Details
Взаимное преобразование секвенциальных и натуральных выводов в модальной логике.
Download
Download PDF