Лямбда-исчисление, или вычислительная теория доказательств. Лекция 2 (Часть 1)