王世强编著的《代数与数理逻辑(王世强文集)》内容包括：数理逻辑与代数、命题演算的一系公理（及补注）、一种逻辑电路演算的初步构作、格值模型论中紧致性定理的一种证法、格值模型论中的省略型定理、关于合同关系的可换性、实向量所成的有序环、有限结合系与有限群、关于代数系统的自同构群的一个注记、关于格值模型论的一些研究、关于可补格的一种分类问题等。

一　数理逻辑与代数

命题演算的一系公理（及补注）

一种逻辑电路演算的初步构作

格值模型论中紧致性定理的一种证法

格值模型论中的省略型定理

关于合同关系的可换性

实向量所成的有序环

有限结合系与有限群（Ⅰ）

关于代数系统的自同构群的一个注记

关于格值模型论的一些研究

关于可补格的一种分类问题

二　数理逻辑对代数的应用

一类具有G01dbach性质的可换环

二次数环的不具有Goldbach性质的扩环

一些分圆整数环的Goldbach及非Goldbach扩环

不可数域的一个紧致性定理

关于域上无限方阵的逆方阵

无限方阵的二平方和定理

Goldbach猜想对于Peano公理组的条件独立性——对一些数论问题的逻辑讨论（Ⅰ）

完美数与亲和数问题对PA的条件独立性——对一些数论问题的逻辑讨论（Ⅲ）

模型论对多项式理论的一个应用

一些三次数环的具有及不具有Goldbach性质的扩环

一种Goldbach可换环的数论性质

归纳的环和域

Hilbert零点定理的推广

某些域上无限方阵的2平方和定理

关于无限方阵的Jordan标准型

关于行列有限方阵的对角化

45-f,1有限的无限矩阵的对角化

某些无限域上多项式环的Goldbach 3素元性质

三　数学教育

结式定理的一种证法

运算律的秘密

0和1的方程组

格值模型论概述（一）

一个数学分析问题的独立性

模型论对经典数学的应用

数学基础研究的一些新进展

关于Baire定理等的真假

杂谈数学及其他

附录

年表

论文和著作目录

后记