检索到 24 条 分类号=O141 馆藏地=中文书库（未知馆藏） 的结果
-
中文图书1.数理逻辑与机器证明 O141/781
馆藏复本：14
可借复本：0 陆钟万著
科学出版社 1983.11
(0) 馆藏 -
中文图书2.数学模型 O141.4/833
馆藏复本：5
可借复本：0 姜启源编
高等教育出版社 1987.4
(0) 馆藏 -
中文图书3.数理逻辑基础∶Ｖ2 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.数理逻辑基础∶Ｖ1 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) 馆藏
