: The second edition of Linear and Nonlinear Functional Analysis with Applications by Philippe G. Ciarlet provides over 1,200 pages of proofs, exercises, and historical notes.