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

Ламбда-Исчисление

Автор: Барендрегт Х.
Год: 2012
Издание: Книга по Требованию

Ламбда-Исчисление : его синтаксис и семантика

Автор: Барендрегт Х.
Год: 1985
Издание: ЁЁ Медиа

Ламбда-исчисление. Его синтаксис и семантика

Автор: Барендрегт Х.
Год: 1985
Издание: [не указано]