Title: Proceedings of the sixth IBM Symposium on Mathematical Foundations of Computer Science
First published: 1981
Subjects: Computer programming, Congresses, Formal languages, Logic, Symbolic and mathematical, Machine theory, Symbolic and mathematical Logic
LC classification: QA267 .I5 1981