Симметрическая конструктивная логика и некоторые ее приложениядиссертация