• 题名: Labelled Deduction
    作者: David Basin, Marcello D’Agostino, Dov M. Gabbay, Seán Matthews, Luca Viganò
    索书号: http://link.springer.com/openurl?genre=book&isbn=978-94-010-5781-3
在架

测试图片