Provides a comprehensive account of the theory of moduli spaces of elliptic curves (over integer rings) and its application to modular forms. This book includes the construction of Galois representations, which play a fundamental role in Wiles' proof of the Shimura - Taniyama conjecture.