一 数理逻辑与代数
命题演算的一系公理（及补注）
一种逻辑电路演算的初步构作
格值模型论中紧致性定理的一种证法
格值模型论中的省略型定理
关于合同关系的可换性
实向量所成的有序环
有限结合系与有限群（Ⅰ）
关于代数系统的自同构群的一个注记
关于格值模型论的一些研究
关于可补格的一种分类问题
二 数理逻辑对代数的应用
一类具有G01dbach性质的可换环
二次数环的不具有Goldbach性质的扩环
一些分圆整数环的Goldbach及非Goldbach扩环
不可数域的一个紧致性定理
关于域上无限方阵的逆方阵
无限方阵的二平方和定理
Goldbach猜想对于Peano公理组的条件独立性——对一些数论问题的逻辑讨论（Ⅰ）
完美数与亲和数问题对PA的条件独立性——对一些数论问题的逻辑讨论（Ⅲ）
模型论对多项式理论的一个应用
一些三次数环的具有及不具有Goldbach性质的扩环
一种Goldbach可换环的数论性质
归纳的环和域
Hilbert零点定理的推广
某些域上无限方阵的2平方和定理
关于无限方阵的Jordan标准型
关于行列有限方阵的对角化
45-f,1有限的无限矩阵的对角化
某些无限域上多项式环的Goldbach 3素元性质
三 数学教育
结式定理的一种证法
运算律的秘密
0和1的方程组
格值模型论概述（一）
一个数学分析问题的独立性
模型论对经典数学的应用
数学基础研究的一些新进展
关于Baire定理等的真假
杂谈数学及其他
附录
年表
论文和著作目录
后记
缺书网
扫码进群