Зведений каталог бібліотек Києва
В1Б248Барендрегт, Хендрик Ламбда-исчисление. Его синтаксис и семантика. [Текст] = The Lambda calculus Its Syntax and Semantics : монография / перевод с англ.: Минца Г. Е.; под ред.: Кузичева А. С. — Москва : Мир, 1985. — 608 с.
- Ключові слова:
- Анотація:
Монография посвящена классическим и новым результатам в активно развивающемся направлении математической логики - так называемом ламба-исследовании.
- Теми документа
