Foundations of Computer Science
From the first paragraph of the first chapter:<p>> But fundamentally, computer science is a science of abstraction — creating the right model for thinking about a problem and devising the appropriate mechanizable techniques to solve it.<p>Too often in computer science education these days, this essential fact is lost.