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