数学基础研究三十年 1930至1964年数理逻辑和数学基础研究发展状况讲演录
（波）安德热依·莫斯托夫斯基（A.Mostowski）著；郭世铭译1983 年出版195 页ISBN：13255018
张清宇，郭世铭，李小五著2007 年出版435 页ISBN：7802303990
本书主要内容为一阶逻辑、模态逻辑、时态逻辑、条件句逻辑、弗协逻辑和哥德尔不完全性定理。本书具有较高的学术价值，在理论或实践上有重要意义，对推动学科建设与发展有重要作用。...
郭世铭著2006 年出版284 页ISBN：7505113534
本书是一本解释、研究《老子》的新作。作者使用逻辑分析和语言分析的方法来剖析《老子》的逻辑结构和语言结构，从《老子》的文字中探求老子的思想。所得到的结果是一个确定、完整、一致的涵义，消除了以往解释...
苏联国立重工业企业电气设计院莫斯科设计试验分院编；苏联冶金及化学工业企业建造部电气安装总局批准，陈世铭译1957 年出版67 页ISBN：15052.108
郭世铭著1999 年出版408 页ISBN：7507508463
这是一本解释、研究《老子》的新作。作者使用逻辑分析和语言分析的方法来剖析《老子》的逻辑结构和语言结构，从《老子》的文字中探求老子的思想。所得到的结果是一个确定、完整、一致的涵义，消除了以往解释中...
