[rramadass]

If one wants to study Mathematics (or any Science for that matter) sincerely, one has to put in conscious self-effort/time/be-persistent and have the attitude of "knowledge for the sake of knowledge". The goal should be personal development/understanding and not competition/ego-boosting/fame/money/etc. (these are only relevant for the job market) which will not sustain motivation over the long-term. The emphasis should be on one's self-effort and not on the merits/demerits of the Professor/Teacher/Books i.e. "The Master can only show the way, but it is the Student who must walk the path".

Also Mathematics should be approached from multiple perspectives including (but not limited to) Imagination, Conceptual, Graphical, Symbolic, Applications, Modeling, Sets/Relations/Definition/Theorem/Proof.

As i mentioned, for studying Mathematics you need both 1) Overview/General books which help in building interdisciplinary intuition/insight and 2) Textbooks which teach methods/tools and put them to use in solving real-world problems. You will find plenty of recommendations for textbooks both on HN and elsewhere on the web (especially college/university websites).

One excellent must-have book that straddles both is; Mathematics: Its Content, Methods and Meaning by Aleksandrov/Kolmogorov/Lavrent'ev. It covers almost all domains of mathematics until the early 20th century in an introductory succinct form up to undergraduate level. You can then look for individual textbooks for each of the domains given there. See the ToC at - https://store.doverpublications.com/products/9780486157870

W.r.t. books on Proofs, my first suggestion would be to not focus too much on the formal mechanics of it but try to understand the reasoning/logic behind it in a informal way i.e. the "proof idea" problem-solving process.

The first book to read here is George Polya's classic; How To Solve It. It gives a problem-solving process with heuristics and thumbrules which is the prerequisite to mathematical formalization - https://en.wikipedia.org/wiki/How_to_Solve_It

With the problem-solving process in hand, you can now get a gentle introduction to Logic/Discrete Maths leading to Proofs. One very accessible book with broad coverage and a bent towards CS is Nimal Nissanke's Introductory Logic and Sets for Computer Scientists. The author wrote it as the needed background mathematics for formal methods and hence contains everything (including doing Proofs) within one pair of covers - https://www.amazon.com/Introductory-Computer-Scientists-Inte...

I highly recommend getting all of the above before looking for more. Given your background (as i understood it) i think this would be the best and easiest path.