约翰·范·本特姆著2010 年出版250 页ISBN：9787030278654
本书是由我们翻译的世界著名逻辑学家范本特姆的14篇论文组成，约35万字。我们以语言逻辑为核心挑选出了14篇引用率最高的论文。论文的发表时间从1970年代到2007年，内容涵盖了关于自然语言形式化的研究，形式语言...
（日）铃川佳世子，（日）比田井牧子编2010 年出版211 页ISBN：9787310028504
本书以历年考试原题和“日语能力考试三级语法”基准为基础编写而成。
（韩）宋道树著；（韩）徐正银绘；李学权译2013 年出版170 页ISBN：9787507426960
本书是趣味性少年数学漫画读物，巧妙地把数学知识与故事结合起来，是学龄儿童课外学习用书，该书通过有趣的故事情节激发儿童对数学的兴趣，步步深入，循序渐进、轻松易懂，非常有助于激发孩子的阅读兴趣，同时学习数......
