Most universities have a course specifically geared towards proofs, including first order propositional and predicate logic, set theory, basic proof techniques, etc. I've taught this particular course a few times when I was in academia, and one of the better books that was around at the time (2004--8) was Krantz's _Elements of Advanced Mathematics_.