张清宇,(加)田伟利,沈旭主编2005 年出版214 页ISBN:7502566694
本书介绍了环境信息系统的基本知识、环境信息系统工程的开发、现代信息技术在环境研究和管理中的应用。
张清宇,郭世铭,李小五著2007 年出版435 页ISBN:7802303990
本书主要内容为一阶逻辑、模态逻辑、时态逻辑、条件句逻辑、弗协逻辑和哥德尔不完全性定理。本书具有较高的学术价值,在理论或实践上有重要意义,对推动学科建设与发展有重要作用。...
张清宇主编2010 年出版128 页ISBN:9787500485438
本书为中国社会科学院研究生重点教材之一种,本书叙述了数理逻辑的基本内容,如经典一阶逻辑的句法、语义、逻辑、演算以及刻画句法和语义之间关系的完全性定理;模型论内容;集合论知识;哥德尔第二不完全定理及其所...