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