-
中文图书1.数学的建筑 O1-06/2
馆藏复本:2
可借复本:2 (法) 布尔巴基著
大连理工大学出版社 2023
(0) 馆藏
-
中文图书2.数学的统一性:阿蒂亚的数学观:M. F. Atiyah's view of mathematics O1-0/56
馆藏复本:2
可借复本:2 (英) M. F. 阿蒂亚著
大连理工大学出版社 2023
(0) 馆藏
-
中文图书3.吴文俊全集,数学机械化卷.Ⅴ,Mathematics mechanization.Ⅴ:数学机械化 O1-53/15
馆藏复本:1
可借复本:1 吴文俊著
科学出版社 2019
(0) 馆藏
-
中文图书4.吴文俊全集,数学机械化卷.Ⅳ,Mathematics mechanization.IV:几何定理机器证明的基本原理 O1-53/12
馆藏复本:2
可借复本:2 吴文俊著
科学出版社 2019
(0) 馆藏
-
中文图书5.吴文俊全集,数学机械化卷.Ⅱ,Mathematics mechanization.II:mechanical theorem proving in geometries:... O1-53/13
馆藏复本:2
可借复本:2 吴文俊著
科学出版社 2019
(0) 馆藏
-
中文图书6.吴文俊全集,数学机械化卷.Ⅲ,Mathematics mechanization.Ⅲ:数学机械化 O1-53/14
馆藏复本:1
可借复本:1 吴文俊著
科学出版社 2019
(0) 馆藏
-
中文图书7.数学的统一性.2版 O1-0/44
馆藏复本:1
可借复本:1 (英)阿蒂亚著
大连理工大学出版社 2022
(0) 馆藏
-
中文图书8.数学与无穷观的逻辑基础 O1-0/26
馆藏复本:0
可借复本:0 朱梧?著
大连理工大学出版社 2008
(0) 馆藏
-
中文图书9.数学所讲座.2016 O1-0/42
馆藏复本:1
可借复本:1 张晓等主编
科学出版社 2020
(0) 馆藏
-
中文图书10.数学无穷与中介的逻辑基础 O1-0/27
馆藏复本:2
可借复本:2 朱梧槚著
科学出版社 2012
(0) 馆藏
-
中文图书11.线性代数核心思想及应用 O151.2/209
馆藏复本:2
可借复本:2 王卿文编著
科学出版社 2012
(0) 馆藏
-
中文图书12.数学及其认识.2版 O1-0/24
馆藏复本:2
可借复本:2 高隆昌,李伟著
西南交通大学出版社 2011
(0) 馆藏
-
中文图书13.最后的沉思 N02-53/7
馆藏复本:1
可借复本:1 (法)彭加勒(Jules Henri Poincare)著
商务印书馆 2009
(0) 馆藏