This book is a systematic study of the classical and quantum theories of gauge systems. It starts with Dirac's analysis showing that gauge theories are constrained Hamiltonian systems. The classical foundations of BRST theory are then laid out with a review of the necessary concepts from homological algebra. Reducible gauge systems are discussed, and the relationship between BRST cohomology and gauge invariance is carefully explained. The authors...