Kниги автора Барендрегт Х.

Ламбда-Исчисление Автор: Барендрегт Х. Год: 2012 Издание: Книга по Требованию	Ламбда-Исчисление : его синтаксис и семантика Автор: Барендрегт Х. Год: 1985 Издание: ЁЁ Медиа
Ламбда-исчисление. Его синтаксис и семантика Автор: Барендрегт Х. Год: 1985 Издание: [не указано]	Цветок безмолвствует. Очерки дзэн Автор: Дзэнкэй Сибаяма Год: 2003 Издание: Наука