检索到 32 条 题名=数理逻辑 的结果
-
中文图书1.数理逻辑引论:计算机科学与系统的天然基础 O141/L984
馆藏复本：6
可借复本：6 刘志明, 裘宗燕编著
科学出版社 2022.10
(0) 馆藏 -
中文图书2.简明数理逻辑 O141/Z892
馆藏复本：3
可借复本：3 赵希顺编著
科学出版社 2021.11
(0) 馆藏 -
中文图书3.数理逻辑与集合论(第二版)精要与题解.第2版 O141/W386B
馆藏复本：15
可借复本：15 王宏, 杨明编著
清华大学出版社 2001
(0) 馆藏 -
中文图书4.数理逻辑与集合论.第2版 O141/S237B
馆藏复本：13
可借复本：13 石纯一, 王家〓编著
清华大学出版社 2000
(0) 馆藏 -
中文图书5.数理逻辑 O141/Y435
馆藏复本：3
可借复本：3 余俊伟 ... [等] 著
中国人民大学出版社 2020
(0) 馆藏 -
中文图书6.数理逻辑:集合 51.3/444
馆藏复本：10
可借复本：10 邱伟德，胡美琛编著
人民邮电出版社 1987.12
(0) 馆藏 -
中文图书7.数理逻辑初步 51.31/151
馆藏复本：5
可借复本：5 莫绍揆著
上海人民出版社 1980.8
(0) 馆藏 -
中文图书8.数理逻辑教程 51.3/151Q3
馆藏复本：2
可借复本：2 莫绍揆著
华中工学院出版社 1982.12
(0) 馆藏 -
中文图书9.数理逻辑导引 51.31/525
馆藏复本：3
可借复本：3 张尚水著
社会科学出版社 1990.4
(0) 馆藏 -
中文图书10.数理逻辑基础.上册 O141/H749/1, 51.3/114
馆藏复本：10
可借复本：10 胡世华, 陆钟万著
科学出版社 1981～1982
(0) 馆藏 -
中文图书11.数理逻辑 51.3/3341
馆藏复本：5
可借复本：5 ( )汉密尔顿著
华东师范大学出版社 1986.11
(0) 馆藏 -
中文图书12.数理逻辑.影印版 O141/A149
馆藏复本：5
可借复本：5 埃宾豪斯
世界图书出版有限公司北京分公司 2019.03
(0) 馆藏 -
中文图书13.数理逻辑引论 53.31/134
馆藏复本：5
可借复本：5 王宪均著
北京大学出版社 1982.6
(0) 馆藏 -
中文图书14.离散数学导论:数理逻辑·集合·关系部分 O158/H399
馆藏复本：6
可借复本：6 黄和之编著
北京经济学院出版社 1992
(0) 馆藏 -
中文图书15.数理逻辑概貌 O141/M752
馆藏复本：2
可借复本：2 莫绍揆著
科学技术文献出版社 1989
(0) 馆藏 -
中文图书16.数理逻辑与机器证明 73.87081/133, O141/L995-2
馆藏复本：7
可借复本：7 陆钟万著
科学出版社 1983.11
(0) 馆藏 -
中文图书17.数理逻辑 O141/S895
馆藏复本：3
可借复本：3 孙希文编著
高等教育出版社 2019
(0) 馆藏 -
中文图书18.数理逻辑十二讲 O141/S324
馆藏复本：3
可借复本：3 宋方敏, 吴骏编著
机械工业出版社 2018
(0) 馆藏 -
中文图书19.数理逻辑 O141/X793
馆藏复本：5
可借复本：5 邢滔滔著
北京大学出版社 2008.08
(0) 馆藏 -
中文图书20.数理逻辑引论与归结原理.第2版 O141/W351B
馆藏复本：2
可借复本：2 王国俊著
科学出版社 2006
(0) 馆藏
