• 题名: First-Order Logic
    作者: Raymond M. Smullyan
    索书号: http://link.springer.com/openurl?genre=book&isbn=978-3-642-86720-0
在架

测试图片