-
中文图书1.元数学导论 O141/2792
馆藏复本:16
可借复本:14 (美) 克林著
科学出版社 1984-1985
(0) 馆藏 -
中文图书2.数理逻辑引论 B813/1038
馆藏复本:9
可借复本:7 王宪钧著
北京大学出版社 1982
(0) 馆藏 -
中文图书3.可计算性理论导引 O141.3/4038
馆藏复本:3
可借复本:2 李祥编著
贵州人民出版社 1986
(0) 馆藏 -
中文图书4.可计算性与不可解性 O141.3/3080
馆藏复本:10
可借复本:9 (美) 戴维斯著
北京大学出版社 1984
(0) 馆藏 -
中文图书5.数学建模:方法与范例 O22/5020
馆藏复本:5
可借复本:4 寿纪麟主编
西安交通大学出版社 1993
(0) 馆藏 -
中文图书6.模型论基础 O141.4/1041#1
馆藏复本:18
可借复本:16 王世强著
科学出版社 1987
(0) 馆藏 -
中文图书7.算法论 O141/4425#2
馆藏复本:8
可借复本:7 莫绍揆编著
科学出版社 1982
(0) 馆藏 -
中文图书8.数理逻辑与机器证明 O141/7581/ 1
馆藏复本:5
可借复本:4 陆钟万著
科学出版社 1983
(0) 馆藏 -
中文图书9.应用非标准分析 O141.41/3080
馆藏复本:5
可借复本:4 (美) 戴维斯著
陕西师范大学出版社 1989
(0) 馆藏 -
中文图书10.数学生态学模型与研究方法 O141.4/7484
馆藏复本:3
可借复本:2 陈兰荪著
科学出版社 1988
(0) 馆藏 -
中文图书11.数理逻辑的思想和方法 O141/6047
馆藏复本:3
可借复本:2 昂扬编著
复旦大学出版社 1991
(0) 馆藏 -
中文图书12.可计算性理论 O141.3/4425/ 1
馆藏复本:5
可借复本:4 莫绍揆, 王元元著
科学出版社 1987
(0) 馆藏 -
中文图书13.数理逻辑引论 O141/2544
馆藏复本:2
可借复本:1 朱梧槚, 肖奚安编著
南京大学出版社 1995
(0) 馆藏 -
中文图书14.可计算性理论 O141.3/1262
馆藏复本:4
可借复本:3 张鸣华著
清华大学出版社 1984
(0) 馆藏 -
中文图书15.数理逻辑 O141/4425/ 1
馆藏复本:13
可借复本:12 莫绍揆等著
高等教育出版社 1984
(0) 馆藏 -
中文图书16.数理逻辑引论.第2版 O141/1038/ -2
馆藏复本:3
可借复本:2 王宪钧著
北京大学出版社 1998
(0) 馆藏 -
中文图书17.可计算性理论 O141.3/1233
馆藏复本:5
可借复本:4 张宏裕编著
天津科学技术出版社 1989
(0) 馆藏 -
中文图书18.数理逻辑教程 O141/4425#1
馆藏复本:10
可借复本:9 莫绍揆著
华中工学院出版社 1982
(0) 馆藏 -
中文图书19.数理逻辑引论 O141/1797
馆藏复本:3
可借复本:2 马光胜编著
哈尔滨工程大学出版社 1997
(0) 馆藏 -
中文图书20.数理逻辑通俗讲话 O141/1034
馆藏复本:11
可借复本:10 王浩著
科学出版社 1981
(0) 馆藏
上一页 1 / 3 下一页 到第 页