For more details on the work of Cauchy, the best book is Judith Grabiner's own work, The Origins of Cauchy's Rigorous Calculus [8]. A slightly more recent work on nineteenth-century analysis in general is Umberto Bottazzini, The Higher Calculus: A History of Real and Complex Analysis from Euler to Weierstrass [1].

It is interesting to compare Cauchy's work with the contemporary work of Bolzano. Bolzano's important paper on the intermediate value theorem is available in [17], while [18] is the complete collection of his mathematical works. For more discussion of the work of Bolzano, see I. Grattan-Guinness [9]. Grattan-Guinness claims that Cauchy took the central ideas of his definitions of continuity and convergence from Bolzano. But H. Freudenthal and H. Sinaceur disagree [7], [19]. In particular, the latter article claims that Bolzano and Cauchy represented two different mathematical traditions.

It is also interesting that Cauchy's definition of convergence had been essentially given by José Anastácio da Cunha (1744–1787), a Portuguese scholar, in a comprehensive textbook written in Portuguese in 1782. Unfortunately, even though the book was translated into French in 1811, it apparently was little noticed. For more on da Cunha, see the articles A. J. Franco de Oliveira [6], João Filipe Queiró [16], and A. P. Youschkevitch [21].

Near the beginning of his article on functions, Kleiner notes that there was a long “prehistory” of functions, but does not discuss this at all.