The use of anticommuting variable integrals in statistical mechanics. I. The computation of partition functions | Synapse