Барендрегт Хенк
Ламбда-исчисление. Его синтаксис и семантика
Нообраслет. Открытие ресурсов подсознания