Title: Proceedings of the Seventh Annual IEEE Symposium on Logic in Computer Science
Subjects: Computer science, Congresses, Mathematics, Symbolic and mathematical Logic