• 题名: The Semantics and Proof Theory of the Logic of Bunched Implications
    作者: David J. Pym
    索书号: http://link.springer.com/openurl?genre=book&isbn=978-90-481-6072-3
在架

测试图片