检索到 47 条 题名=数理逻辑 的结果
-
中文图书1.数理逻辑:证明及其限度.第2版 O141/4733/ -2
馆藏复本：2
可借复本：2 郝兆宽, 杨睿之, 杨跃著
复旦大学出版社 2020
(0) 馆藏 -
中文图书2.数理逻辑是什么 O141-49/2748
馆藏复本：3
可借复本：3 (英) John N. Crossley等著
中国轻工业出版社 2018
(0) 馆藏 -
中文图书3.数理逻辑十二讲 O141/3008
馆藏复本：2
可借复本：2 宋方敏, 吴骏编著
机械工业出版社 2018
(0) 馆藏 -
中文图书4.数理逻辑导引 O141/3714
馆藏复本：1
可借复本：1 冯琦编著
科学出版社 2017
(0) 馆藏 -
中文图书5.数理逻辑引论 B813/1038
馆藏复本：9
可借复本：7 王宪钧著
北京大学出版社 1982
(0) 馆藏 -
中文图书6.数理逻辑教程 O141/4425#1
馆藏复本：10
可借复本：9 莫绍揆著
华中工学院出版社 1982
(0) 馆藏 -
中文图书7.数理逻辑与集合论 (第二版) 精要与题解.第2版 O14/1030/ -2
馆藏复本：5
可借复本：4 王宏, 杨明编著
清华大学出版社 2001
(0) 馆藏 -
中文图书8.数理逻辑引论 O141/2544
馆藏复本：2
可借复本：1 朱梧槚, 肖奚安编著
南京大学出版社 1995
(0) 馆藏 -
中文图书9.数理逻辑、集合 O14/7722
馆藏复本：4
可借复本：3 邱伟德, 胡美琛编著
人民邮电出版社 1987
(0) 馆藏 -
中文图书10.数理逻辑的思想和方法 O141/6047
馆藏复本：3
可借复本：2 昂扬编著
复旦大学出版社 1991
(0) 馆藏 -
中文图书11.数理逻辑漫谈 O141/4425
馆藏复本：1
可借复本：0 莫绍揆编著
山东科学技术出版社 1980
(0) 馆藏 -
中文图书12.数理逻辑与机器证明 O141/7581/ 1
馆藏复本：5
可借复本：4 陆钟万著
科学出版社 1983
(0) 馆藏 -
中文图书13.数理逻辑 O141/4425/ 1
馆藏复本：13
可借复本：12 莫绍揆等著
高等教育出版社 1984
(0) 馆藏 -
中文图书14.数理逻辑与集合论.第2版 O14/1021/ -2
馆藏复本：5
可借复本：4 石纯一, 王家廞编著
清华大学出版社 2000
(0) 馆藏 -
中文图书15.数理逻辑引论.第2版 O141/1038/ -2
馆藏复本：3
可借复本：2 王宪钧著
北京大学出版社 1998
(0) 馆藏 -
中文图书16.数理逻辑引论 O141/1797
馆藏复本：3
可借复本：2 马光胜编著
哈尔滨工程大学出版社 1997
(0) 馆藏 -
中文图书17.数理逻辑通俗讲话 O141/1034
馆藏复本：11
可借复本：10 王浩著
科学出版社 1981
(0) 馆藏 -
中文图书18.数理逻辑基础 O141/4742
馆藏复本：16
可借复本：14 胡世华, 陆钟万著
科学出版社 1981-1982
(0) 馆藏 -
中文图书19.离散数学.第一分册,数理逻辑 O158/1058
馆藏复本：3
可借复本：2 王捍贫编著
北京大学出版社 1997
(0) 馆藏 -
中文图书20.数理逻辑:证明及其限度 O141/4733
馆藏复本：2
可借复本：2 郝兆宽, 杨睿之, 杨跃著
复旦大学出版社 2014
(0) 馆藏
