逻辑哲学九章

张清宇主编2004 年出版479 页ISBN：7214038501

环境管理信息系统

张清宇，（加）田伟利，沈旭主编2005 年出版214 页ISBN：7502566694

本书介绍了环境信息系统的基本知识、环境信息系统工程的开发、现代信息技术在环境研究和管理中的应用。

数理逻辑

张清宇主编2010 年出版128 页ISBN：9787500485438

本书为中国社会科学院研究生重点教材之一种，本书叙述了数理逻辑的基本内容，如经典一阶逻辑的句法、语义、逻辑、演算以及刻画句法和语义之间关系的完全性定理；模型论内容；集合论知识；哥德尔第二不完全定理及其所...

春华秋实

滨州医学院，中国心力衰竭学会编著；张子彬，张玉传，马建群主编；张清谭，徐会圃，李跃荣副主编；张子彬，张玉传，张建群，张清谭等编委会2016 年出版414 页ISBN：7518912308

数理逻辑

胡耀鼎，张清宇著1985 年出版263 页ISBN：15169·3347

哲学逻辑研究

张清宇等著1997 年出版499 页ISBN：7800509028

哲学逻辑研究

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

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

百年树人 湖北省图书馆同仁文集

贺定安，张清宇主编；湖北省图书馆编2004 年出版304 页ISBN：7501310300

本书收录120余篇在湖北省图书馆工作过的同人，公开发表的作品。内容涉及图书馆学、情报学、文献学、目录学、版本学，以及文、史、哲等多方面，它充分展示了湖北省图书馆同人们的学识水平和研究能力。...

中文AutoCAD 2005 操作教程

张清宇编2005 年出版214 页ISBN：7561218982

本书为高职高专计算机教材之一。书中介绍中文Auto CAD 2005的基础知识、二维图形的绘制与编辑、尺寸和文字标注、块与外部参照、三维绘画、图形输出与Internet功能。书中配有大量生动典型的实例以及训练题...

生态文明示范工程实施路径研究

张清宇，童章舜，田伟利等著2016 年出版357 页ISBN：9787308159944

本书在总结我国生态文明建设的基础上，分析西部地区生态文明示范工程的有利条件和制约因素，建立衡量生态文明基本标志的指标体系，确定生态文明建设的重点任务，并结合案例和情景分析，选择符合生态文明的发展方式和...