This monograph provides a detailed discussion of the theory of lower bounds for linear forms in the logarithms of algebraic numbers and its applications to the obtaining of upper bounds for solutions to the eponymous classical diophantine equation.