Ламбда-исчисление Его синтаксис и семантика
Барендрегт Х.
Монография посвящена классическим и новым результатам в активно развивающемся направлении математической логики,- так называемом ламбда-исчислении. Оно находит применение в теории доказательств, семантике языков программирования, алгебре, топологии, теории категорий. Изложение отличается полнотой и доступностью. Автор книги - известный голландский математик. Для математиков разных специальностей, преподавателей, аспирантов и студентов университетов.
Litres
あなたの書店を追加したいですか？support@z-lib.fmまでお問い合わせください。
ファイル拡張子変換機能
検索結果をもっと見る
その他多くの特典 
![Шехтман В.Б. — Модальные логики топологических пространств [докт. дисс.]](https://s3proxy.cdn-zlib.se/covers200/collections/genesis/33e4f810c7c04eaa93c4f90c62d2107c88ba3d2a3cf505d956781f912184c8be.jpg)
