I really appreciate this comment, thank you.

I've actually never studied automata, computability, or complexity before either, so that's really why I picked up Sipser. But I'm downloading your other recommendation now (just moved, mobile Internet only); I can certainly imagine that some books are more useful than others for learning proof, I just saw an opportunity to practice and see how my natural ability is. I'll try to include things more specifically for learning proof in my diet. I sure will PM you if I need some feedback (I expect to), thanks.