递归论导论

郭世铭著1998 年出版178 页ISBN：7500422954

数学基础研究三十年 1930至1964年数理逻辑和数学基础研究发展状况讲演录

（波）安德热依·莫斯托夫斯基（A.Mostowski）著；郭世铭译1983 年出版195 页ISBN：13255018

哲学逻辑研究

张清宇，郭世铭，李小五著2007 年出版435 页ISBN：7802303990

本书主要内容为一阶逻辑、模态逻辑、时态逻辑、条件句逻辑、弗协逻辑和哥德尔不完全性定理。本书具有较高的学术价值，在理论或实践上有重要意义，对推动学科建设与发展有重要作用。...

《老子》究竟说什么

郭世铭著2006 年出版284 页ISBN：7505113534

本书是一本解释、研究《老子》的新作。作者使用逻辑分析和语言分析的方法来剖析《老子》的逻辑结构和语言结构，从《老子》的文字中探求老子的思想。所得到的结果是一个确定、完整、一致的涵义，消除了以往解释...

混凝土配合比有效选择方法

苏联建筑工业科学技术协会编；殷鉴，陈世铭译1964 年出版178 页ISBN：15165·3460

蓄电池组安装操作规程

苏联国立重工业企业电气设计院莫斯科设计试验分院编；苏联冶金及化学工业企业建造部电气安装总局批准，陈世铭译1957 年出版67 页ISBN：15052.108

《老子》究竟说什么

郭世铭著1999 年出版408 页ISBN：7507508463

这是一本解释、研究《老子》的新作。作者使用逻辑分析和语言分析的方法来剖析《老子》的逻辑结构和语言结构，从《老子》的文字中探求老子的思想。所得到的结果是一个确定、完整、一致的涵义，消除了以往解释中...

传热学

杨世铭，陈大燮编1958 年出版302 页ISBN：15143·983

呕血、便血与疾病

白汉玉，刘世铭编著1997 年出版166 页ISBN：7504203211

直流调速系统

张世铭，王振和主编1989 年出版293 页ISBN：7560903606