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[...]