на докторскую диссертацию С.Ю. Маслова "Обратный метод установления выводимости для логических исчислений"