I am an engineer with tons of math courses behind me. However, all of them were applied wherein instead of giving us intuition, they gave us a toolbox. (If you encounter this then use that to solve.)
For my research (and as a requirement for grad school), I am required to be able to write and read proofs. These can range from elementary to SIAM journal level.
My research is fairly computational (Optimization and Linear Algebra) and I need proofs only to be able to understand which algorithms work, their convergence and to write proofs for my algorithms if I ever construct one.
I have 2 options now:
Read a book like How to Prove it or How to read and do proofs.
Read Baby Rudin and end it all forever. (Since, I believe that should be enough of proof doing for the rest of my career)
I don't see Baby Rudin's (with all its topology & calculus) helping me in my objectives. Am I missing something?
Which way should I go?
Owing to severe time constraints, I can do only one.