Предлагаемая вниманию читателей книга сочетает в себе (относительную) простоту изложения с почти энциклопедической полнотой содержания. Ее выход в русском переводе будет полезен широкому кругу читателей. Полнота изложения книги весьма впечатляюща. При сравнительно небольшом объеме она содержит практически все теоремы, заслужившие всеобщее признание специалистов, в области математической 2000 логики, теории моделей и теории алгоритмов. Краткость книги достигнута многими авторскими находками в способе подачи материала. Многие важные результаты излагаются в упражнениях, которые составляют необходимую органическую часть книги.

Издательство «Наука» в серии «Математическая логика и основания математики» представляет монографию Шенфилда «Степени неразрешимости», посвященную изложению результатов о тьюринговых степенях. Шенфилд постарался изложить традиционно сложную тему в максимально простой форме.