检索到 29 条 题名=数理逻辑 的结果
-
中文图书1.数理逻辑导引 O141/F50
馆藏复本：1
可借复本：0 冯琦编著
科学出版社 2017
(0) 馆藏 -
中文图书2.数理逻辑十二讲 O141/S82
馆藏复本：3
可借复本：2 宋方敏,吴骏编著
机械工业出版社 2017.3
(0) 馆藏 -
中文图书3.数理逻辑的思想与方法.2版 O141/L30
馆藏复本：3
可借复本：2 李娜编著
南开大学出版社 2016
(0) 馆藏 -
中文图书4.数理逻辑与范畴论应用 O13/W38#7
馆藏复本：1
可借复本：1 王世强等著
北京师范大学出版社 1999
(0) 馆藏 -
中文图书5.数理逻辑基础:一阶逻辑与一阶理论 O141-43/C49
馆藏复本：5
可借复本：5 陈慕泽，余俊伟著
中国人民大学出版社 2003
(0) 馆藏 -
中文图书6.数理逻辑与集合论 O141/S48
馆藏复本：5
可借复本：4 石纯一，王家廞 编著
清华大学出版社 2000
(0) 馆藏 -
中文图书7.数理逻辑基础:一阶逻辑与一阶理论 O141-43/C49#1
馆藏复本：1
可借复本：1 陈慕泽，余俊伟著
中国人民大学出版社 2003
(0) 馆藏 -
中文图书8.数理逻辑引论与归结原理 O141/W20
馆藏复本：5
可借复本：5 王国俊著
科学出版社 2006
(0) 馆藏 -
中文图书9.数理逻辑 O141/B63#1
馆藏复本：2
可借复本：2 毕富生著
高等教育出版社 2004
(0) 馆藏 -
中文图书10.数理逻辑 O141/B63#3
馆藏复本：1
可借复本：1 毕富生著
高等教育出版社 2004
(0) 馆藏 -
中文图书11.数理逻辑与集合论.精要与题解:第二版 O141/W21#2
馆藏复本：1
可借复本：1 王宏，杨明编著
清华大学出版社 2001
(0) 馆藏 -
中文图书12.数理逻辑与集合论.精要与题解:第二版 O141/W21#3
馆藏复本：1
可借复本：1 王宏，杨明编著
清华大学出版社 2001
(0) 馆藏 -
中文图书13.数理逻辑引论 0141/Z86
馆藏复本：2
可借复本：2 朱梧槚，肖奚安编著
大连理工大学出版社 2008
(0) 馆藏 -
中文图书14.数理逻辑通俗讲话 O141/W21
馆藏复本：11
可借复本：1 王浩著
科学出版社 1981.2
(0) 馆藏 -
中文图书15.数理逻辑与范畴论应用 O13/W38#5
馆藏复本：1
可借复本：1 王世强等著
北京师范大学出版社 1999
(0) 馆藏 -
中文图书16.数理逻辑与集合论.精要与题解:第二版 O141/W21#1
馆藏复本：5
可借复本：2 王宏，杨明编著
清华大学出版社 2001
(0) 馆藏 -
中文图书17.数理逻辑入门 O141/L37
馆藏复本：6
可借复本：2 李锡胤编译
知识出版社 1984.5
(0) 馆藏 -
中文图书18.数理逻辑引论 O141-43/L35
馆藏复本：3
可借复本：3 李涛, 张岩, 刘峰主编
哈尔滨工业大学出版社 2011
(0) 馆藏 -
中文图书19.数理逻辑 O141/W12
馆藏复本：2
可借复本：2 王兵山等编著
国防科技大学出版社 1993
(0) 馆藏 -
中文图书20.数理逻辑与集合论 O141/S48#1
馆藏复本：2
可借复本：2 石纯一，王家廞 编著
清华大学出版社 2000
(0) 馆藏
