libcats.org
Главная

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

Обложка книги Ламбда-исчисление

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

Монография посвящена классическим и новым результатам в активно развивающемся направлении математической логики,- так называемом ламбда-исчислении. Оно находит применение в теории доказательств, семантике языков программирования, алгебре, топологии, теории категорий. Изложение отличается полнотой и доступностью. Автор книги - известный голландский математик. Для математиков разных специальностей, преподавателей, аспирантов и студентов университетов.
Популярные книги за неделю:
Только что пользователи скачали эти книги: