I'm a CS student and I'm about to take discrete mathematics next two semesters. My proofs are very weak and I want to change this. (I'm told discrete math is alot of proofs.) Are there any books/courses/resources to help me work my way up? I have a summer to prepare for.