Highlights:Motivates theoretical developments by connecting them to practical issues.Introduces every result and proof with an informal overview to build intuition. Introduces models through finite automata, then builds to universal models, including recursion theory.Emphasizes complexity theory, beginning with a detailed discussion of resource use in computation.Includes large numbers of examples and illustrates abstract ideas through diagramsGives informal presentations of difficult recent results with profound implications for computing.