• 题名: Many-Dimensional Modal Logics: Theory and Applications
    作者: D.M. Gabbay, A. Kurucz, F. Wolter, M. Zakharyaschev
    索书号: http://www.sciencedirect.com/science/book/9780444508263
在架