检索到 80 条 主题词=数理逻辑 的结果
-
中文图书1.数理逻辑:证明及其限度.第2版 O141/69=2
馆藏复本：2
可借复本：2 郝兆宽, 杨睿之, 杨跃著
复旦大学出版社 2020
(0) 馆藏 -
中文图书2.数理逻辑十二讲 O141/68
馆藏复本：2
可借复本：2 宋方敏, 吴骏编著
机械工业出版社 2018
(0) 馆藏 -
中文图书3.数理哲学导论 O141/36
馆藏复本：7
可借复本：3 (英) 罗素著
商务印书馆 2011
(0) 馆藏 -
中文图书4.数理逻辑与集合论 O141/66
馆藏复本：2
可借复本：2 房元霞, 赵汝木, 盛秀艳编著
科学出版社 2015
(0) 馆藏 -
中文图书5.数理逻辑:基本原理与形式演算.第2版 O141/57=2
馆藏复本：2
可借复本：2 李未著
科学出版社 2014
(0) 馆藏 -
中文图书6.数理逻辑的思想与方法 O141/64
馆藏复本：3
可借复本：3 李娜著
南开大学出版社 2012
(0) 馆藏 -
中文图书7.数学逻辑引论 O141/2
馆藏复本：27
可借复本：0 马振华编著
清华大学出版社 1982
(0) 馆藏 -
中文图书8.错误系统 O14/19
馆藏复本：3
可借复本：3 郭开仲著
科学出版社 2012
(0) 馆藏 -
中文图书9.信息、智能与逻辑:智能科学的逻辑基础研究:the logical basic research of intelligence science.第二卷 O141/62/2:1
馆藏复本：6
可借复本：6 何华灿主编
西北工业大学出版社 2010
(0) 馆藏 -
中文图书10.错误逻辑 O141/59
馆藏复本：3
可借复本：3 郭开仲著
科学出版社 2008
(0) 馆藏 -
中文图书11.胡世华文集 O141/58
馆藏复本：1
可借复本：1 胡世华等著
科学出版社 2008
(0) 馆藏 -
中文图书12.信息、智能和逻辑 TP18/226/1
馆藏复本：3
可借复本：2 何华灿, 马盈仓主编
西北工业大学出版社 2008
(0) 馆藏 -
中文图书13.数理逻辑:基本原理与形式演算 O141/57
馆藏复本：3
可借复本：3 李未著
科学出版社 2008
(0) 馆藏 -
中文图书14.数理逻辑 O141/56
馆藏复本：3
可借复本：3 邢滔滔著
北京大学出版社 2008
(0) 馆藏 -
中文图书15.哥德尔证明 O141/55
馆藏复本：3
可借复本：3 (美) 欧内斯特·内格尔, 詹姆士·R·纽曼著
中国人民大学出版社 2008
(0) 馆藏 -
中文图书16.几何与数理逻辑 O18/99
馆藏复本：3
可借复本：3 李仲来主编
北京师范大学出版社 2007
(0) 馆藏 -
中文图书17.数理逻辑基础与粒计算 O141/54
馆藏复本：3
可借复本：3 闫林著
科学出版社 2007
(0) 馆藏 -
中文图书18.面向计算机科学的数理逻辑:系统建模与推理:modelling and reasoning about systems O141/53
馆藏复本：3
可借复本：3 (德) Michael Huth, (英) Mark Ryan著
机械工业出版社 2007
(0) 馆藏 -
中文图书19.应用逻辑 O141/52
馆藏复本：3
可借复本：3 (美) Anil Nerode, Richard A. Shore著
机械工业出版社 2007
(0) 馆藏 -
中文图书20.基于包含度的不确定推理 O141/51
馆藏复本：3
可借复本：3 张文修, 梁怡, 徐萍编著
清华大学出版社 2007
(0) 馆藏
