Протокол

Автодопрос диссертанта. Тема: "Симметрическая конструктивная логика и некоторые ее приложения".