Provides complete mathematical foundations for the theory of perturbative quantum field theory, based on Wilson's ideas of low-energy effective field theory and on the Batalin-Vilkovisky formalism. As an example, a cohomological proof of perturbative renormalizability of Yang-Mills theory is presented.