王路江主编；司富珍执行主编2012 年出版312 页ISBN：9787561933404
本书是为纪念北京语言大学外国语学院博士生导师方立教授而作的文集，由“纪念文章”和“学术论文”两部分组成，从不同侧面总结了方立先生的学术成就以及同行学者和他的弟子们对方立先生的缅怀、纪念以及对他学...
宋方敏，吴骏编著2018 年出版156 页ISBN：9787111581222
本书介绍数理逻辑的基础知识和基本理论，主要讲授命题演算和谓词演算。通过本课程的学习，学生将掌握相关的基本概念、基本理论、基本推理，以及公理系统和形式化方法。数理逻辑是以公理系统和数学证明为研究对象...
