Введение
ГЛАВА 1. Используемые определения и результаты. теорема о замене 9
1.1. Используемые определения и результаты 10
1.2. Теорема о замене 18
ГЛАВА 2. Формализация понятия 8-редукции. нормальные формы 20
2.1. Понятие 8-редукции. Теорема о редукции 21
2.2. Сильная нормализуемость 25
2.3. Естественное понятие 8-редукции 33
2.4. Единственность нормальной формы 42
ГЛАВА 3. Реальные понятия 5-редукции. правила вычисления 59
3.1. Реальное понятие 8-редукции 61
3.2. Правила вычисления. Функция соответствующая правилу вычисления и реальному понятию 8-редукции 64
3.3. Полнота правила вычисления для фиксированного понятия ^-редукции 72
3.4. Полнота правила вычисления 89
3.5. Полные правила вычисления 91
3.6. Неполные правила вычисления 97
Заключение 100
Литература
