Аннотация:В книге излагаются теории рекурсивно перечислимых множеств и тьюринговых степеней неразрешимости, важных разделов математической логики. Подробно изучаются строение полурешетки степеней неразрешимости, степени различных классов рекурсивно перечислимых множеств. Рассматриваются такие объекты, как степени неразрешимости, сводящиеся к 0', минимальные степени, исследуются элементарные теории различных полурешеток степеней неразрешимости и излагаются полученные в последние годы результаты о неразрешимости этих теорий.
Книга рассчитана на специалистов, работающих в области математической логики.