Title: Logic, algebra, and computer science
Subjects: Mathematics, Algebra, Congresses, Symbolic and mathematical Logic, Computer science, Algebraic logic