Формализация доказательства устранимости правила сечения в исчислении высказыванийдипломная работа (Специалист)