Title: CSL '87
Subjects: Computer science, Computers, Congresses, Electronic data processing, Mathematics, Symbolic and mathematical Logic, Informatique, Logique symbolique et mathématique, Congrès, Logica, Ordinateurs, Programmeertalen