One of the major discoveries of the last two decades of the twentieth century in algebraic geometry is the realization that the theory of minimal models of surfaces can be generalized to higher dimensional varieties. This generalization, called the minimal model program or Mori's program, has developed into a powerful tool with applications to diverse questions in algebraic geometry and beyond. This book provides the a comprehensive introduction to the circle of ideas developed around the program, the prerequisites being only a basic knowledge of algebraic geometry. It will be of great interest to graduate students and researchers working in algebraic geometry and related fields.