М.: Мир, 1985. - 606 с.
Монография посвящена классическим и новым результатам в активно развивающемся направлении математической логики. - так называемом ламбда-исчислении. Оно находит применение в теории доказательств, семантике языков программирования, алгебре, топологии, теории категорий. Изложение отличается полнотой и доступностью. Автор книги - известный голландский математик.
Для математиков разных специальностей, преподавателей, аспирантов и студентов университетов.
Оглавление:
Часть I - На пути к теории
Введение
Конверсия
Редукция
Теории
Модели
Часть II - Конверсия
Классическое ламбда-исчисление
Теория комбинаторов
Классическое ламбда-исчисление (продолжение)
Ламбда-I-исчисление
Деревья Бема
Часть III - Редукция
Фундаментальные теоремы
Сильно эквивалентные редукции
Редукционные стратегии
Помеченная редукция
Другие понятия редукции
Часть IV - Теории
Осмысленные теории
Другие ламбда-теории
Часть V - Модели
Построение моделей
Локальная структура моделей
Глобальная структура моделей
Комбинаторные группы
Приложения
А - Типовое ламбда-исчисление
В - Иллативная комбинаторная логика
С - Переменные
Добавления
Литература
Предметный указатель
Монография посвящена классическим и новым результатам в активно развивающемся направлении математической логики. - так называемом ламбда-исчислении. Оно находит применение в теории доказательств, семантике языков программирования, алгебре, топологии, теории категорий. Изложение отличается полнотой и доступностью. Автор книги - известный голландский математик.
Для математиков разных специальностей, преподавателей, аспирантов и студентов университетов.
Оглавление:
Часть I - На пути к теории
Введение
Конверсия
Редукция
Теории
Модели
Часть II - Конверсия
Классическое ламбда-исчисление
Теория комбинаторов
Классическое ламбда-исчисление (продолжение)
Ламбда-I-исчисление
Деревья Бема
Часть III - Редукция
Фундаментальные теоремы
Сильно эквивалентные редукции
Редукционные стратегии
Помеченная редукция
Другие понятия редукции
Часть IV - Теории
Осмысленные теории
Другие ламбда-теории
Часть V - Модели
Построение моделей
Локальная структура моделей
Глобальная структура моделей
Комбинаторные группы
Приложения
А - Типовое ламбда-исчисление
В - Иллативная комбинаторная логика
С - Переменные
Добавления
Литература
Предметный указатель