Картинки из квадратов \ Теоретико-множественная математика \ Логика и методология дедуктивных наук \ Логика \ Лямбда - исчисление и комбинаторная логика \
 

9.6.2.10.1. Ламбда-исчисление.
Его синтаксис и семантика
(Х. Барендрегт, 1985)

Начало см. здесь.
Барендрегт Х.
Ламбда-исчисление. Его синтаксис и семантика.
Пер. с англ., М.: Мир, 1985.
9.6.2.10.1.00. Предисловие к русскому изданию      9.6.2.10.1.1. На пути к теории
9.6.2.10.1.00. Предисловие к русскому изданию      9.6.2.10.1.1. На пути к теории
  К началу данной страницы
Картинки из квадратов \ Теоретико-множественная математика \ Логика и методология дедуктивных наук \ Логика \ Лямбда - исчисление и комбинаторная логика \