-
中文图书1.分析基础机器证明系统 O171/4702
馆藏复本:1
可借复本:1 郁文生, 付尧顺, 郭礼权著
科学出版社 2022
(0) 馆藏 -
西文图书2.Elementary analysis : the theory of calculus = 分析基础 : 微积分理论 / O172/R824#1
馆藏复本:2
可借复本:1 Kenneth A. Ross.
世界图书出版公司, 2008.
(0) 馆藏