I am interested in mathematically rigorous treatment of quantum field theory, constructive QFT in particular.

I have read 'QFT, A Tourist Guide for Mathematicians' and am going to read "Quantum Physics, A functional integral point of view'. But I want something encyclopedic to refer to.

And I have come across the series of books by Zeidler. They are expensive to purchase.. so I ask opinions on the books in terms of the rigor achieved.

Are the books as rigorous as math books and papers? And would they be good reference for reading the book "Quantum Physics, A functional integral point of view'?

I welcome any feedback!!