Equilibrium statistical mechanics (MSC 82Bxx)