О гомоморфизме семантик исчисления высказыванийдипломная работа (Бакалавр)