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