Title: Introductory logic and sets for computer scientists
Subjects: Computer logic, Set theory, Mathematics - sets, General topology, & categories, Logic design