Отправить по sms: Ламбда-исчисление. Его синтаксис и семантика