Картинки из квадратов
\
Теоретико-множественная математика
\
Логика и методология дедуктивных наук
\
Логика
\
Лямбда - исчисление и комбинаторная логика
\
Ламбда-исчисление. Его синтаксис и семантика (Х. Барендрегт, 1985)
\
9.6.2.10.1.00. Предисловие
к русскому изданию
Начало см.
здесь
.
Барендрегт Х.
Ламбда-исчисление. Его синтаксис и семантика.
Пер. с англ., М.: Мир, 1985, cc 5 — 7.
Основополагающую статью Д. Скотта
в этом направлении см.
здесь
.
К началу данной страницы
Картинки из квадратов
\
Теоретико-множественная математика
\
Логика и методология дедуктивных наук
\
Логика
\
Лямбда - исчисление и комбинаторная логика
\
Ламбда-исчисление. Его синтаксис и семантика (Х. Барендрегт, 1985)
\
