This book discusses the most important aspects of the theory. The phenomenological model is followed by the microscopic theory of superconductivity, in which modern formalism of the many-body theory is used to treat most important problems such as superconducting alloys, coexistence of superconductivity with the magnetic order, and superconductivity in quasi-one-dimensional systems. It concludes with a discussion on models for exotic and high temperature superconductivity. Its main aim is to review, as complete as possible, the theory of superconductivity from classical models and methods up to the 1987 results on high temperature superconductivity.