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