Автор: Барендрегт Хендрик Питер

Основное заглавие: Ламбда-исчисление

Сведения, относящ. к заглавию: Его синтаксис и семантика

Ответственность: Пер. с англ. Минца Г. Е.; Под ред. Кузичева А. С.

Физический носитель: Текст

Год публикации: 1985

Место издания: М.

Издательство: Мир

Объем: 606с.

Ключевые слова: Математика; Математическая логика

ББК: 22.122

Библиография: Библиогр.: с. 574-586. - Указ. предм., обозначений: с. 587-602