I second Discrete Mathematics and its Applications. This book was the book I used in the first class that required a substantial amount of proof writing. A majority of it was easily tackled within a six week course.