Ламбда-исчисление Его синтаксис и семантика
Барендрегт Х.
Монография посвящена классическим и новым результатам в активно развивающемся направлении математической логики,- так называемом ламбда-исчислении. Оно находит применение в теории доказательств, семантике языков программирования, алгебре, топологии, теории категорий. Изложение отличается полнотой и доступностью. Автор книги - известный голландский математик. Для математиков разных специальностей, преподавателей, аспирантов и студентов университетов.
Thể loại:
Năm:
1985
Nhà xuát bản:
Мир
Ngôn ngữ:
russian
Trang:
304
File:
DJVU, 6.37 MB
IPFS:
,
russian, 1985
Litres
Bạn có muốn thêm cừa hàng sách? Xin liên lạc theo support@z-lib.do
Chuyển đổi tập tin
Các kết quả tìm kiếm tiếp theo
Các lợi ích khác 
![Шехтман В.Б. — Модальные логики топологических пространств [докт. дисс.]](https://s3proxy.cdn-zlib.se/covers200/collections/genesis/33e4f810c7c04eaa93c4f90c62d2107c88ba3d2a3cf505d956781f912184c8be.jpg)
