Лямбда исчисление 2 (3). Рекурсия и редукция

Д.Н.Москвин. Изучаем математику и физику Учебные и иллюстративные материалы для школьников, студентов младших курсов и преподавателей