【书名】：《Lecture Notes in Computer Science 363 Logic at Botik'89》
【作者】：
【出版社】：Springer-Verlag
【时间】：1989
【页数】：289
【ISBN】：0387512373
【SS码】：40357500