Differential and integral : a constructive introduction to classical analysis - Lorenzen, Paul 1915-1994. (Austin : University of Texas Press, 1971)
Includes index.
Keywords: Calculus; Constructive mathematics