This book contains a full exposition of the Bardeen-Cooper-Schrieffer (BCS) theory and its experimental verification, the Ginzburg-Landau theory, and the Gor'kov treatment of superconductivity. It discusses the fundamental experiments on macroscopic quantum phenomena and the Josephson effect.