Лямбда-исчисление как язык программирования. Булевы значения, пары. Числа Чёрча, простейшие операции над ними.
