If you are looking for a "good piece" of literature or a foundational resource on , the book "Mathematische Grundlagen der Informatik: Mathematisches Denken und Beweisen - Eine Einführung" by Christoph Meinel and Martin Mundhenk is highly recommended.

Introduces fundamental computer science structures like Boolean Algebra , Graph Theory (graphs and trees), and propositional logic. Why It Is a "Good Piece"

It focuses on how to think and prove things, which is more critical in computer science than just performing calculations.