Сложность и семантика для исчисления Ламбека с модальностью локального сокращениядипломная работа (Специалист)