孙明湘著2004 年出版223 页ISBN：7810619683
本书对初步、经典的数理逻辑进行了讲述，介绍了命题演算、谓词演算、模态逻辑演算，以及构造性逻辑演算等几方面内容。
沈云，耿玉岐主编2008 年出版400 页ISBN：9787508249315
本书介绍机械通用工种工人必备的基础技术，依据《国家职业标准》的机械工人基本要求。
孙明主编2005 年出版176 页ISBN：9787563218554
本书主要内容为船舶动力装置概论、船舶推进装置、船舶管路系统、船舶防污设备及管理、船舶电气及轮机自动化设备的管理、轮机节能技术、备件、物件的管理、轮机安全运行及应急处理。...
