Traces of creation-annihilation operators and Fredholm's formulas

We prove the formula for the traces of certain class of operators in bosonic and fermionic Fock spaces. Vertex operators belong to this class. Traces of vertex operators can be used for calculation of correlation functions and formfactors of integrable models (XXZ, Sine-Gordon, etc.), that is why we are interested in this problem. Also we show that Fredholm's minor and determinant can be expressed by such traces. We obtain a short proof of the Fredholm's formula for the solution of an integral equation. Analogue of Fredholm's formula in terms of permanents is obtained.