张忠义等编著2004 年出版314 页ISBN:753884127X
本书以传统逻辑学内容为主,融合了现代逻辑的部分内容,系统的介绍了形式逻辑的基本知识和基础理论。
张玉双,(美)舍恩贝格(Irene E.Schoenberg)主编;郝萌等改编2006 年出版118 页ISBN:780720494X
本教程强调阅读速度、效率和策略的培养,是一本有广泛使用价值的教材。
王宵,刘会霞等编著2006 年出版273 页ISBN:7502583130
本书介绍了逆向工程系统、工作流程及产品实物几何外形数字化测量、三维CAD模型重建、产品或模具快速建造等。