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