Boeken over Feynman-Kac-Type Theorems And Gibbs Measures On Path Space: With Applications To Rigorous Quantum Field Theory