This book gives a complete proof of the Verlinde formula and of its connection to generalized theta functions.