Лекция 11. С.Л.Кузнецов. Гиперсеквенциальное исчисление для MALC с законом дистрибутивности