Title: Symposium on Logic in Computer Science
Subjects: Electronic data processing, Congresses, Computer programming, Symbolic and mathematical Logic, Materials management