简明数理逻辑基础 刘治旺 编
现代逻辑 沈有乾 著
数理逻辑的思想和方法 昂扬
数理逻辑基础 张振华
数理逻辑与机器证明 陆钟万 1924~ 著
跨越缺口 保罗斯 J.A. 著
数理逻辑与集合论基础 韩力学 编
数学逻辑 中国科学院数学研究所 编
数理逻辑 侯广坤
数理逻辑通俗讲话 美 王浩 Wang Hao 1921~1995 著
数理逻辑 汉密尔顿 A.G. 著
数理逻辑引论 孙希文
数学家的逻辑 哈密尔顿 A.G. 著
数理逻辑基础 刘叙华 1937~ 编
现代逻辑的方法 李娜 著
数学逻辑原理 诺维科夫 П.С. 著
算理哲学 罗素 著
公理学、元数学与哲学 张家龙 著
数理逻辑概貌 莫绍揆 1917~ 著
数理逻辑及其应用 朱保平 编
现代逻辑概论 王耀 著
数理逻辑 俞瑞钊
数理逻辑初步 莫绍揆 1917~ 著
数理逻辑与集合论 石纯一 1935~
数理逻辑基础 德 希尔伯特 Hilbert David 1862~1943 著
一阶逻辑与一阶理论 叶峰
数理逻辑 叶尔绍夫 Ю.Л. 著
数理逻辑 苏 马尔科夫 Марков АндрейАндреевич 1856~1922 著
数理逻辑引论与归结原理 王国俊 1935~ 著
数理逻辑论文选. 第一集 外文书店 编辑