(苏)乌瓦连柯夫(И.М.Уваренков),(苏)马尔列尔(М.З.Маллер)著;李荣东,梁永富译1957 年出版266 页ISBN:13010·306
朱梧槚,肖奚安编著2008 年出版243 页ISBN:7561140339
本书主要介绍了命题与命题联结词,命题逻辑演算,谓词与量词,谓词逻辑演算,逻辑演算系统的整体特征,非经典逻辑纲要。
(英)PETER M·SHEARER编著2008 年出版208 页ISBN:750283138X
本书是针对地震学领域具有导论作用的概论,对定量地震学提供了简明易读的介绍。