Title: Algebraic methods in logic and in computer science
Subjects: Algebraic logic, Computer science