Title: Discrete Mathematics and Logic
Subjects: Computer science, mathematics