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.