To stick to the more theoretical interpretation of "computer science," and with a focus on theory of computation/programming languages: - Discrete Mathematics

To stick to the more theoretical interpretation of "computer science," and with a focus on theory of computation/programming languages: - Discrete Mathematics And Its Applications, Kenneth H. Rosen (this is more foundational, but it's definitely targeted at a CS audience and touches on things like automata theory) - Types and Programming Languages, Benjamin C. Pierce - Semantics of Programming Languages, Carl Gunter