Барендрегт Хенк
Ламбда-исчисление. Его синтаксис и семантика
Тренажер для мозга (2 занятия в день по 15 минут)