• 题名: Non-Classical Logics, Model Theory, And Computability
    作者: A.I. Arruda, N.C.A. da Costa, R. Chuaqui
    索书号: http://www.sciencedirect.com/science/book/9780720407525
在架