Title: Instructor's resource guide to accompany discrete mathematics and its applications
Subjects: Computer science, Mathematics, Problems, exercises, Symbolic and mathematical Logic