-
西文图书21.Standard completeness for semilinear substructural logics / O141/W246
馆藏复本:2
可借复本:1 Wang Sanmin = 半线性子结构逻辑的标准完备性 / 王三民.
(0) 馆藏
-
中文图书22.LINGO基础培训教程 O141.4/4034/ 2
馆藏复本:2
可借复本:2 主编李汉龙, 隋英, 韩婷
国防工业出版社 2021
(0) 馆藏
-
中文图书23.数学建模与实验.第3版 O141.4/1054/ -3
馆藏复本:2
可借复本:2 王威娜, 温宇鹏等编
化学工业出版社 2020
(0) 馆藏
-
中文图书24.数理逻辑:证明及其限度.第2版 O141/4733/ -2
馆藏复本:2
可借复本:2 郝兆宽, 杨睿之, 杨跃著
复旦大学出版社 2020
(0) 馆藏
-
中文图书25.信念悖论与策略合理性 O144.2/2072
馆藏复本:3
可借复本:3 (美) 罗伯特·C. 孔斯著
中国人民大学出版社 2020
(0) 馆藏
-
中文图书26.悖论 O144.2/9078
馆藏复本:2
可借复本:2 (美) R. M. 赛恩斯伯里著
中国人民大学出版社 2020
(0) 馆藏
-
西文图书27.Naive set theory / O144/H194
馆藏复本:2
可借复本:1 Paul R. Halmos.
世界图书出版公司, 2008.]
(0) 馆藏
-
中文图书28.Python数学实验与建模 O141.4-39/1734
馆藏复本:1
可借复本:0 司守奎, 孙玺菁主编
科学出版社 2020
(0) 馆藏
-
中文图书29.数学建模与数据处理 O141.4/1011/ 1
馆藏复本:2
可借复本:2 主编贾丽丽 ... [等]
科学出版社 2020
(0) 馆藏
-
中文图书30.集合论导引 O144/3714
馆藏复本:3
可借复本:3 冯琦著
科学出版社 2019-
(0) 馆藏
-
中文图书31.模型思维 O141.4/1094
馆藏复本:3
可借复本:3 (美) 斯科特·佩奇著
浙江人民出版社 2019
(0) 馆藏
-
中文图书32.数学建模的实践 O141.4-53/4351
馆藏复本:4
可借复本:4 裘哲勇, 潘建江主编
西安电子科技大学出版社 2019
(0) 馆藏
-
西文图书33.Abstract recursion and intrinsic complexity / O141.3/M896
馆藏复本:1
可借复本:0 Yiannis N. Moschovakis, University of California, Los Angeles, and University of Athens.
(0) 馆藏
-
中文图书34.数学建模实验基础 O141.4/8024
馆藏复本:2
可借复本:2 主编余绍权, 杨迪威
中国地质大学出版社 2019
(0) 馆藏
-
中文图书35.无穷小:一个危险的数学理论如何塑造了现代世界:how a dangerous mathematical theory shaped the modern... O141/0707
馆藏复本:2
可借复本:2 (美) 阿米尔·亚历山大著
化学工业出版社 2019
(0) 馆藏
-
中文图书36.面向故障诊断应用的粗糙集:理论及方法 O144/0283
馆藏复本:2
可借复本:2 刘金福, 白明亮著
科学出版社 2019
(0) 馆藏
-
中文图书37.MATLAB与数学建模 O141.4-39/3452
馆藏复本:2
可借复本:2 谢中华编著
北京航空航天大学出版社 2019
(0) 馆藏
-
中文图书38.MATLAB程序设计及数学实验与建模 O141.4-39/5044
馆藏复本:2
可借复本:2 主编史加荣
西安电子科技大学出版社 2019
(0) 馆藏
-
中文图书39.特征建模理论、方法和应用 O141.4/6038
馆藏复本:1
可借复本:1 吴宏鑫, 胡军著
国防工业出版社 2019
(0) 馆藏
-
西文图书40.A course in mathematical logic for mathematicians / Second edition. O141/M278.1-2
馆藏复本:2
可借复本:0 Yu.I. Manin ; chapters I-VIII translated from the Russian by Neal Koblitz ; with new chapters by...
(0) 馆藏