汪长喜主编2018 年出版540 页ISBN：7560370187
本书共分7部分，分别介绍了C++语言、信息学与数学、信息学基础、数据结构、数学与逻辑、高级数据结构等内容。本书适合于高等学校计算机相关专业学生和计算机爱好者参考使用，也可作为计算机培训学校的培训教材...
李莹，吴江琴著2010 年出版200 页ISBN：9787308066679
本书第一部分介绍了Z语言的背景知识，包括集合论和一阶谓词演算等概念及其形式化表达方法；第二部分介绍了Z语言构成及其规格说明的结构化，引入求精理论；第三部分介绍了Martin-Lof类型理论，及其规则定义和推导演算...
张春泉著2011 年出版347 页ISBN：9787500497875
对话是不同语用主体以语言为媒介的交流活动，对话在一定意义上是话语表达与话语接受的交互作用。语用逻辑是叙事对话的重要理据（motivation）。叙事对话是语用逻辑的重要外在话语表现形式。叙事具有一定的对话性...
李国山著2004 年出版125 页ISBN：7310020448
本书以维特根斯坦前期哲学思想及其代表作《逻辑哲学论》为前景，集中对其中的命题学说这个哲学界公认的理论难题进行了专业性很强、很深入，也很全面的探讨。...
