ОГЛАВЛЕНИЕ

Предисловие редактора русского перевода ............ 5

Введение......................... 7

Глава 1. ЭЛЕМЕНТЫ ТЕОРИИ РЕКУРСИИ. Герберт Б. Эндертон .. 9

Глава 2. НЕРАЗРЕШИМЫЕ ПРОБЛЕМЫ. Мартин Девис.....51

Глава 3. РАЗРЕШИМЫЕ ТЕОРИИ. Михаэль О. Рабин......77

Глава 4. СТЕПЕНИ НЕРАЗРЕШИМОСТИ. ОБЗОР РЕЗУЛЬТАТОВ

Стивен Г. Симпсон.................112

Глава 5. ТЕОРИЯ α-РЕКУРСИИ. Ричард А. Шор........134

Глава 6. РЕКУРСИЯ В ВЫСШИХ ТИПАХ. Александр С. Кекрис, Яннис И. Московакис..........166

Глава 7. ВВЕДЕНИЕ В ТЕОРИЮ ИНДУКТИВНЫХ ОПРЕДЕЛЕНИЙ. Петер Ацел...............224

Дополнение. АЛГОРИТМИЧЕСКИЕ ПРОБЛЕМЫ В ТЕОРИИ ПОЛЕЙ (положительные аспекты). Ю. Л. Ершов.....269

Предметный указатель....................354