This book offers a comprehensive treatment of the classical decision
problem of mathematical logic and of the role of the classical decision
problem in modern computer science. The text presents a revealing
analysis of the natural order of decidable and undecidable cases and
includes a number of simple proofs and exercises.