• 题名: Logic Colloquium '88
    作者: R. Ferro, C. Bonotto, S. Valentini, A. Zanardo
    索书号: http://www.sciencedirect.com/science/book/9780444874559
在架