There is very little "hard CS" in the book, though there are references to programming. It's more about formal systems. If you're a CS major you may find these

There is very little "hard CS" in the book, though there are references to programming. It's more about formal systems. If you're a CS major you may find these things easier to grasp, since you can draw analogies to finite state automata, recursion, the halting problem, etc. But a CS degree is by no means required to enjoy the book.