Title: Fifth Annual IEEE Symposium on Logic in Computer Science
Subjects: Electronic digital computers, Symbolic and mathematical Logic, Congresses, Electronic data processing