-
中文图书1.可靠性理论 O141.3/425.2
馆藏复本:3
可借复本:0 莫绍揆,王元元著
科学出版社 1987.12
(0) 馆藏
-
中文图书2.模型论基础 O141.4/141
馆藏复本:9
可借复本:1 王世强著
科学出版社 1987.8
(0) 馆藏
-
中文图书3.数理逻辑基础∶V2 O141/442*1
馆藏复本:3
可借复本:0 胡世华,陆钟万合著
科学出版社 1981
(0) 馆藏
-
中文图书4.数理哲学导论 O141/650
馆藏复本:7
可借复本:0 (英)罗素著;晏成书译
商务印书馆 1982.6
(0) 馆藏
-
中文图书5.可计算性理论 O141.3/162
馆藏复本:12
可借复本:0 张鸣华著
清华大学出版社 1984.1
(0) 馆藏
-
中文图书6.算法论 O141.3/425
馆藏复本:30
可借复本:0 莫绍揆著
科学出版社 1982.11
(0) 馆藏
-
中文图书7.静、动态数学模型的实用建模方法 O141.4/428
馆藏复本:3
可借复本:1 黄俊钦著
机械工业出版社 1988.8
(0) 馆藏
-
中文图书8.数学模型引论 O141.4/520
馆藏复本:20
可借复本:0 (美)本德著;朱尧辰,徐伟宣译
科学普及出版社 1982.10
(0) 馆藏
-
中文图书9.数理逻辑
馆藏复本:20
可借复本:0 莫绍揆等编
高等教育出版社 1984.7
(0) 馆藏
-
中文图书10.递归论 O141/425.4
馆藏复本:3
可借复本:0 莫绍揆著
科学出版社 1987.11
(0) 馆藏
-
中文图书11.数学逻辑引论 O141/152
馆藏复本:17
可借复本:0 马振华编著
清华大学出版社 1982.12
(0) 馆藏
-
中文图书12.非标准分析基础 O141.41/453
馆藏复本:5
可借复本:0 李邦河著
上海科学技术出版社 1987.12
(0) 馆藏
-
中文图书13.数理逻辑基础∶V1 O141/442
馆藏复本:7
可借复本:1 胡世华,陆钟万合著
科学出版社 1981
(0) 馆藏
-
中文图书14.有趣的数理逻辑 O141/289
馆藏复本:5
可借复本:1 何普恒著
上海人民出版社 1984.7
(0) 馆藏
-
中文图书15.数学模型 O141.4/343
馆藏复本:10
可借复本:0 (日)近藤次郎著;宫荣章等译
机械工业出版社 1985.6
(0) 馆藏
-
中文图书16.数学模型 O141.4/281
馆藏复本:10
可借复本:0 任善强编
重庆大学出版社 1987.7
(0) 馆藏