【书名】：《Lecture Notes in Computer Science 379 Mathematical Foundations of Computer Science 1989》
【作者】：
【出版社】：Springer-Verlag
【时间】：1989
【页数】：605
【ISBN】：3540514864
【SS码】：40371638