51 Б248 Барендрегт, Хендрик Питер. Ламбда-исчисление. Его синтаксис и семантика. [Текст] / Х. П. Барендрегт ; под ред. А. С. Кузичева, пер. с англ. Г. Е. Минца. - Москва : Мир, 1985. - 606, [1] с. : черт., граф. ; 22 см. - Предм. указ.: с.587-602 . - Библиогр.: с.574-586. - Пер. изд. : The Lambda Calculus. Its Syntax and Semantics. / H. P. Barendregt. - Amsterdam ; New York ; Oxford, 1981. - (в пер.) : 3.70 р. Рубрики: Математическая логика Кл.слова (ненормированные): Ламбда-теории Аннотация: Монография посвящена классическим и новым результатам в активно развивающемся направлении математической логики, - так называемом ламбда-исчислении. оно находит применение в теории доказательств, семантике языков программирования, алгебре, топологии, теории категорий. Изложение отличается полнотой и доступностью. Автор книги - известный голландский математик. для математиков разных специальностей, преподавателей, аспирантов и студентов университетов. Держатели документа: Библиотека НТГСПА Доп.точки доступа: Кузичев, А. С. \ред.\; Минц, Г. Е. \пер. с англ.\; Barendregt, H. P. Экземпляры всего: 2 АБ (2) Свободны: АБ (2) |