Here are two suggestions (Score 1)

Introduction to the Theory of Computation by Sipser. This is my favorite computer science textbook together with SICP. It deals with theoretical computer science, mainly automata, computability and complexity theory. It's just 400 pages or so, but covers lots of ground.

Types and Programming Languages by Pierce. This is a very accessible introduction to the theory of programming languages and types.