This monograph is the first to develop a mathematical theory of gravitational lensing. The theory applies to any finite number of deflector planes and highlights the distinctions between single and multiple plane lensing. Introductory material in Parts I and II present historical highlights and the astrophysical aspects of the subject. Part III employs the ideas and results of singularity theory to put gravitational lensing on a rigorous mathematical foundation.