Starts with Dirac's analysis showing that gauge theories are constrained Hamiltonian systems. This book is a systematic study of the classical and quantum theories of gauge systems. It discusses reducible gauge systems, and explains the relationship between BRST cohomology and gauge invariance.