抽象的数学 上

抽象 推理 建模

革命与形式：茅盾早期小说的现代性展开 1927-1930

本书对茅盾早期小说的文学形式进行分析，是一部文学研究著作。

台湾美术的思辩与论证：10种现象的构成

司法权：性质与构成的分析

本书阐述了中国特色的司法权理论，对司法工作者、司法理论研究人员、司法现代化的建设等具有很大的参考作用。

大学生职业素质构成与综合培养研究

本书分析了儒道佛各家的理论思想、传承等问题。

民国文化与文学研究文丛 二编 第14册 精神与形式 诗性书写的民国资源

网络安全协议的形式化分析与验证

本书概述了形式化技术在网络安全协议分析、验证中的主要应用原理及现状；在此基础上详细地叙述了网络安全协议。

抽象的抒情

本集包括:《抽象的抒情》、《文史研究必需结合文物》、《古代人的穿衣打扮》等20余篇杂论短文。

抽象代数基础

本书是大学数学系必修课“抽象代数”（或“近世代数”）课程的教材。