Perspectives in Mathematical Logic, Springer-Verlag Berlin, Heidelberg etc., 1997, pp. XII+482. ISBN 3-540-57073-X

In 2001 also a cheaper textbook edition was printed.

Comprehensive treatment of the classical decision problem of mathematical logic with particular emphasis on its role in computer science. Contains a state-of-the-art analysis of the natural order of decidable and undecidable cases, including

- the complete classification of the solvable and unsolvable standard cases of the classical decision problem,
- the complexity analysis of the solvable cases,
- a detailed treatment of the reduction method,
- the model-theoretic analysis of the solvable cases.

Many cases are treated for the first time in this book which contains also many proof simplifications, a great number of exercises and an annotated bibliography of over 500 references.

Part I (Ch.1-5) written by E. Boerger, Part II by E. Graedel (Ch.6, 7.1., 7.2, 8) and Y. Gurevich (Ch.7.2), Appendix by C. Allauzen and B. Durand