Б 24 Барендрегт, Хендрик Питер. Ламбда- исчисление. Его синтаксис и семантика. [Текст] / Х. П. Барендрегт; под редакцией А. С. Кузичева, перевод с английского Г. Е. Минца. - Москва : Мир, 1985. - 606 с. : граф. ; 22 см. - Пер. изд. : The Lambda Calculus. Its Syntax and Semantics. / H. P. Barendregt. - Amsterdam ; New York ; Oxford, 1981. - 4800 экз.. - (в пер.) : 3.70 р. Рубрики: Математическая логика Доп.точки доступа: Минц, Г. Е. \пер.\; Кузичев, А. С. \ред.\; Barendregt, H. P. ~Экземпляры всего: 1 КХР (1) Свободны: КХР (1) |