This book provides a careful, accessible introduction to topological modular forms. After a brief history and an extended overview of the subject, the book proper commences with an exposition of classical aspects of elliptic cohomology, including background material on elliptic curves and modular forms, a description of the moduli stack of elliptic curves, an explanation of the exact functor theorem for constructing cohomology theories, and an exploration of sheaves in stable homotopy theory. There follows a treatment of more specialized topics, including localization of spectra, the deformation theory of formal groups, and Goerss-Hopkins obstruction theory for multiplicative structures on spectra. The book then proceeds to more advanced material, including discussions of the string orientation, the sheaf of spectra on the moduli stack of elliptic curves, the homotopy of topological modular forms, and an extensive account of the construction of the spectrum of topological modular forms. The book concludes with the three original, pioneering and enormously influential manuscripts on the subject, by Hopkins, Miller, and Mahowald.