Calculus

Calculus（Michael Spivak，1967）。暂无简体中文版。HN 上 88 人推荐。从实数公理出发，严格证明极限、连续、导数和积分，配有大量难题。