• 题名: Logic Colloquium '84
    作者: J.B. Paris, A.J. Wilkie, G.M. Wilmers
    索书号: http://www.sciencedirect.com/science/book/9780444879998
在架