Задания СРМ
Completion requirements
Подготовить реферат на тему:
Лямбда-исчисление.
Комбинаторная логика.
Комбинаторная определимость рекурсивных функций.