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