检索到 52 条 主题词=数理逻辑 的结果
-
中文图书1.逻辑迷宫
馆藏复本：0
可借复本：0 (美)雷蒙德·M. 斯穆里安(Raymond M. Smullyan)著
新星出版社 2023
(0) 馆藏 -
中文图书2.数理哲学导论 O141/L98-1
馆藏复本：1
可借复本：1 (英) 罗素著
商务印书馆 2011
(0) 馆藏 -
规范文档3.烧脑的逻辑题 O141/B57-1
馆藏复本：3
可借复本：2 (英)亚历克斯·贝洛斯(Alex Bellos)著
中信出版集团股份有限公司 2021
(0) 馆藏 -
中文图书4.数理逻辑导引 O141/F50
馆藏复本：1
可借复本：0 冯琦编著
科学出版社 2017
(0) 馆藏 -
中文图书5.迷人的逻辑题 O141/B57
馆藏复本：1
可借复本：1 (英)亚历克斯·贝洛斯(Alex Bellos)著
中信出版集团股份有限公司 2018
(0) 馆藏 -
中文图书6.数理逻辑十二讲 O141/S82
馆藏复本：3
可借复本：2 宋方敏,吴骏编著
机械工业出版社 2017.3
(0) 馆藏 -
中文图书7.数理逻辑的思想与方法.2版 O141/L30
馆藏复本：3
可借复本：2 李娜编著
南开大学出版社 2016
(0) 馆藏 -
中文图书8.帕斯卡三角形 O122.4/Y92
馆藏复本：3
可借复本：2 袁向东编译
哈尔滨工业大学出版社 2014
(0) 馆藏 -
中文图书9.数理逻辑:修订版 0141/Z80
馆藏复本：1
可借复本：1 A.G. Hamilton[著]
清华大学出版社 2003
(0) 馆藏 -
中文图书10.信息、智能与逻辑.第一卷 O141-53/H29
馆藏复本：5
可借复本：5 何华灿, 马盈仓主编
西北工业大学出版社 2008
(0) 馆藏 -
中文图书11.非经典数理逻辑与近似推理 O141/W20#1
馆藏复本：3
可借复本：3 王国俊著
科学出版社 2000
(0) 馆藏 -
中文图书12.代数与数理逻辑:王世强文集 O15-53/W38#2
馆藏复本：3
可借复本：3 李仲来主编
北京师范大学出版社 2005
(0) 馆藏 -
中文图书13.数理逻辑与范畴论应用 O13/W38#7
馆藏复本：1
可借复本：1 王世强等著
北京师范大学出版社 1999
(0) 馆藏 -
中文图书14.数理逻辑与集合论 O141/S48
馆藏复本：5
可借复本：4 石纯一，王家廞 编著
清华大学出版社 2000
(0) 馆藏 -
中文图书15.数理逻辑引论与归结原理 O141/W20
馆藏复本：5
可借复本：5 王国俊著
科学出版社 2006
(0) 馆藏 -
中文图书16.数理逻辑基础:一阶逻辑与一阶理论 O141-43/C49#1
馆藏复本：1
可借复本：1 陈慕泽，余俊伟著
中国人民大学出版社 2003
(0) 馆藏 -
中文图书17.代数与数理逻辑:王世强文集 015-53/W36
馆藏复本：2
可借复本：2 李仲来主编
北京师范大学出版社 2005
(0) 馆藏 -
中文图书18.离散数学习题集.数理逻辑与集合论分册 0158-44/G44
馆藏复本：1
可借复本：1 耿素云编著
北京大学出版社 1993.2
(0) 馆藏 -
中文图书19.应用逻辑:英文版 0141/N48#1
馆藏复本：2
可借复本：2 (美)Anil Nerode，(美)Richard A.Shore著
机械工业出版社 2006
(0) 馆藏 -
中文图书20.相识数学逻辑 O141/H95
馆藏复本：3
可借复本：3 黄忠裕，赵焕光著
科学出版社 2010
(0) 馆藏
