A mathematically sophisticated introduction to Turing's theory, Boolean functions, automata, and formal languages.