Нет в продаже
Ламбда-Исчисление. его синтаксис и семантика
Х. Барендрегт
Воспроизведено в оригинальной авторской орфографии издания 1985 года (издательство "Мир Публишерс").
