For me, merely pushing myself through a theoretical CS curriculum made me see (and write) hundreds of proofs, hear them explained by professors, and see non-trivial exercises solved during recitations. I don't think you can get the same kind of experience by just reading a textbook, even if it does offer full solutions to problems.
Maybe when there will be full video lectures for both lectures and recitations for the basic math (or theoretical CS) curriculum you could self-study by watching those and solving problem sets. Right now, the math courses offered by Coursera don't seem to match college level, and their platform doesn't really work for proof-based courses like Analysis, Linear Algebra (not the applied kind), etc...