• 题名: A Short Introduction to Intuitionistic Logic
    作者: Grigori Mints
    索书号: http://link.springer.com/openurl?genre=book&isbn=978-0-306-46394-5
在架

测试图片