(苏)乌瓦连柯夫(И.М.Уваренков),(苏)马尔列尔(М.З.Маллер)著;李荣东,梁永富译1957 年出版266 页ISBN:13010·306
上海铁道学院,章群,北京交通大学,马桂祥合编1990 年出版307 页ISBN:7113008666
高等学校试用教材:本书阐述了计算机科学技术的基本概念、基本原理和基本方法等。
朱梧槚,肖奚安编著2008 年出版243 页ISBN:7561140339
本书主要介绍了命题与命题联结词,命题逻辑演算,谓词与量词,谓词逻辑演算,逻辑演算系统的整体特征,非经典逻辑纲要。