A comprehensive account of the theory of moduli spaces of elliptic curves (over integer rings) & its application to modular forms. The construction of Galois representations, which play a fundamental role in Wiles' proof of the Shimura-Taniyama conjecture, is given.