• 题名: Logic Colloquium'87
    作者: H.-D. Ebbinghaus, J. Fernandez-Prida, M. Garrido, D. Lascar, M. Rodriquez Artalejo
    索书号: http://www.sciencedirect.com/science/book/9780444880222

测试图片