The course materials are available on moodle to registered students.
Textbooks:
Discrete Mathematics and Its Applications – 8th Ed, by Rosen (older
editions OK).
Book of Proof – 2nd Ed, by Hammack, available at http://www.
people.vcu.edu/~rhammack/BookOfProof/ (CC Licence).
Course outline.
An older offering of the course is accessible
here.