On: Ask HN: Looking for a book on algorithms and data structures

[curtainvase]

I read CLRS in the fashion you described, mostly cover to cover, as a textbook with exercises. I found it extremely helpful. It gives both intuitive and mathematical proofs for each of the algorithms and data structures.