Редкая книга!
Монография посвящена классическим и новым результатам в активно развивающемся направлении математической логики - так называемом ламбда-исчислении. Оно находит применение в теории доказательств, семантике языков программирования, алгебре, топологии, теории категорий. Изложение отличается полнотой и доступностью.
Для математиков разных специальностей, преподавателей, аспирантов и студентов университетов.
Перевод с английского Г. Е. Минца.
Под редакцией А. С. Кузичева.
Формат 60х90/16. Тираж 4 800.
Оглавление:
Часть I. На пути к теории (с. 13)
1. Введение (с. 14)
2. Конверсия (с. 34)
3. Редукция (с. 61)
4. Теории (с. 88)
5. Модели (с. 99)
Часть II. Конверсия (с. 139)
6. Классическое ламбда-исчисление (с. 140)
7. Теория комбинаторов (с. 158)
8. Классическое ламбда-исчисление (продолжение) (с. 172)
9. Ламбда-I-исчисление (с. 192)
10. Деревья Бема (с. 220)
Часть III. Редукция (с. 277)
11. Фундаментальные теоремы (с. 279)
12. Сильно эквивалентные редукции (с. 304)
13. Редукционные стратегии (с. 326)
14. Помеченная редукция (с. 353)
15. Другие понятия редукции (с. 384)
Часть IV. Теории (с. 409)
16. Осмысленные теории (с. 410)
17. Другие ламбда-теории (с. 429)
Часть V. Модели (с. 463)
18. Построение моделей (с. 464)
19. Локальная структура моделей (с. 490)
20. Глобальная структура моделей (с. 506)
21. Комбинаторные группы (с. 525)
Приложения (с. 547)
А. Типовое ламбда-исчисление (с. 548)
В. Иллативная комбинаторная логика (с. 561)
С. Переменные (с. 565)
Добавления (с. 571)
Литература (с. 574)
Предметный указатель (с. 587)
)
отличное;
В продаже с 01.08.2020
