Contemporary quantum field theory is mainly developed as quantization of classical fields. This book aims to provide a mathematical foundation of Lagrangian classical field theory & its BRST extension for the purpose of quantization. It considers reducible degenerate Lagrangian theories of even & odd fields on an arbitrary smooth manifold.