孙明湘著2004 年出版223 页ISBN：7810619683
本书对初步、经典的数理逻辑进行了讲述，介绍了命题演算、谓词演算、模态逻辑演算，以及构造性逻辑演算等几方面内容。
（清）曹雪芹原著；杨雨主编；皮元珍改编；刘正黔，张攀绘画2017 年出版194 页ISBN：9787556216376
《红楼梦》是一部具有高度思想性和艺术性的伟大作品，作为一部成书于封建社会晚期，清朝中期的文学作品，该书系统总结了中国封建社会的文化、制度，对封建社会的各个方面进行了深刻的批判，并且提出了朦胧的带有初步...
孙明主编2005 年出版176 页ISBN：9787563218554
本书主要内容为船舶动力装置概论、船舶推进装置、船舶管路系统、船舶防污设备及管理、船舶电气及轮机自动化设备的管理、轮机节能技术、备件、物件的管理、轮机安全运行及应急处理。...
