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