Title: A Logical Approach to Discrete Math
Subjects: Mathematics, Computer science, mathematics, Logic, symbolic and mathematical