Title: Proceedings, Symposium on Logic in Computer Science
First published: 1987
Subjects: Algebraic logic