Предисловие (3).
Введение (5).
Глава I. Рекурсивные функции и алгоритмы (16).
Глава II. Диофантовы множества и алгоритмическая неразрешимость (46).
Глава III. Сложность и случайность (65).
Глава IV. Формальные языки и вычислимость (74).
Глава V. Теорема Геделя (87).
Глава VI. Рекурсивные группы (101).
Список литературы (123).
Именной указатель (125).
Предметный указатель (125).