Title: Csl 87
Subjects: Congresses, Symbolic and mathematical Logic, Computer science, Mathematics, Electronic data processing, Computers