Title: Relational and Algebraic Methods in Computer Science
Subjects: Algebraic logic, Algebra, Computer science, mathematics