上海铁道学院,章群,北京交通大学,马桂祥合编1990 年出版307 页ISBN:7113008666
高等学校试用教材:本书阐述了计算机科学技术的基本概念、基本原理和基本方法等。
朱梧槚,肖奚安编著2008 年出版243 页ISBN:7561140339
本书主要介绍了命题与命题联结词,命题逻辑演算,谓词与量词,谓词逻辑演算,逻辑演算系统的整体特征,非经典逻辑纲要。
(英)PETER M·SHEARER编著2008 年出版208 页ISBN:750283138X
本书是针对地震学领域具有导论作用的概论,对定量地震学提供了简明易读的介绍。