Mathematical Theory of Quantum Fields