Лекция 7. С.Л. Кузнецов.Алгоритм выведения наиболее общего типа в системе Карри (окончание).Теор…