• 题名: Goal-Directed Proof Theory
    作者: Dov M. Gabbay, Nicola Olivetti
    索书号: http://link.springer.com/openurl?genre=book&isbn=978-90-481-5526-2
在架

测试图片