This unique compendium presents the basics of the theory of computing at a level and in a manner that can be easily understood by computer science students in a large university. It offers the student a firm foundation in logical reasoning and covers many traditional topics in unconventional ways.The useful reference text benefits professionals, academics, researchers and undergraduate students in the area of theoretical computer science.