-
中文图书1.数理逻辑与机器证明 O141/781
馆藏复本:14
可借复本:0 陆钟万著
科学出版社 1983.11
(0) 馆藏 -
中文图书2.数学模型 O141.4/833
馆藏复本:5
可借复本:0 姜启源编
高等教育出版社 1987.4
(0) 馆藏 -
中文图书3.数理逻辑基础∶V2 O141/442*1
馆藏复本:3
可借复本:0 胡世华,陆钟万合著
科学出版社 1981
(0) 馆藏 -
中文图书4.数理逻辑与集合论 O141/121
馆藏复本:6
可借复本:0 石纯一,王家等著
清华大学出版社 1990.2
(0) 馆藏 -
中文图书5.数理哲学导论 O141/650
馆藏复本:7
可借复本:0 (英)罗素著;晏成书译
商务印书馆 1982.6
(0) 馆藏 -
中文图书6.公理学、元数学与哲学 O141.2/134
馆藏复本:4
可借复本:0 张家龙著
上海人民出版社 1983.3
(0) 馆藏 -
中文图书7.可计算性理论 O141.3/162
馆藏复本:12
可借复本:0 张鸣华著
清华大学出版社 1984.1
(0) 馆藏 -
中文图书8.算法论 O141.3/425
馆藏复本:30
可借复本:0 莫绍揆著
科学出版社 1982.11
(0) 馆藏 -
中文图书9.静、动态数学模型的实用建模方法 O141.4/428
馆藏复本:3
可借复本:1 黄俊钦著
机械工业出版社 1988.8
(0) 馆藏 -
中文图书10.数学模型引论 O141.4/520
馆藏复本:20
可借复本:0 (美)本德著;朱尧辰,徐伟宣译
科学普及出版社 1982.10
(0) 馆藏 -
中文图书11.数理逻辑初步 O141/425
馆藏复本:3
可借复本:0 莫绍揆
上海人民出版社 1980
(0) 馆藏 -
中文图书12.数理逻辑教程 O141/425.2
馆藏复本:13
可借复本:0 莫绍揆著
华中工学院出版社 1982.12
(0) 馆藏 -
中文图书13.数学逻辑引论 O141/152
馆藏复本:17
可借复本:0 马振华编著
清华大学出版社 1982.12
(0) 馆藏 -
中文图书14.GEB—一条永恒的金带 O141/154
馆藏复本:8
可借复本:0 霍夫斯塔特原著;乐秀成编译
四川人民出版社 1984.6
(0) 馆藏 -
中文图书15.数理逻辑基础∶V1 O141/442
馆藏复本:7
可借复本:1 胡世华,陆钟万合著
科学出版社 1981
(0) 馆藏 -
中文图书16.系统建模与数学模型 O141.4/416
馆藏复本:5
可借复本:0 贺建勋著
福建科学技术出版社 1995.6
(0) 馆藏 -
中文图书17.数理逻辑通俗讲话 O141/130
馆藏复本:11
可借复本:0 王浩著
科学出版社 1981
(0) 馆藏 -
中文图书18.有趣的数理逻辑 O141/289
馆藏复本:5
可借复本:1 何普恒著
上海人民出版社 1984.7
(0) 馆藏 -
中文图书19.数学模型 O141.4/343
馆藏复本:10
可借复本:0 (日)近藤次郎著;宫荣章等译
机械工业出版社 1985.6
(0) 馆藏 -
中文图书20.集论 O141/043
馆藏复本:4
可借复本:0 豪斯道夫著;张义良,颜家驹合译
科学出版社 1960
(0) 馆藏
上一页 1 / 2 下一页 到第 页