Title: CSL '88
Subjects: Mathematics, Congresses, Computer science, Symbolic and mathematical Logic