• 题名: Logic Colloquium '86
    作者: F.R. Drake, J.K. Truss
    索书号: http://www.sciencedirect.com/science/book/9780444703262
在架