This volume focuses on the deeper aspects of software & hardware -- the two recognized subdivisions that make up the field of computer science. The text offers classical theoretical computer science concepts such as Unsolvability & Undecidability, among other key topics.