Somewhat dated but...I really like "A Logical Approach to Discrete Math" by Gries and Schneider. It uses an algebraic approach to introduce logic then works its way into number theory, graphs, and sets. There are a lot of good exercises and the topics are highly relevant for CS.

The content is so valuable that it deserves a year in high school in my opinion, though that is a minority view where I live.