  We study both the static and dynamic properties of gapped, one-dimensional,
Heisenberg, anti-ferromagnetic, spin chains at finite temperature through an
analysis of the O(3) non-linear sigma model. Exploiting the integrability of
this theory, we are able to compute an exact low temperature expansion of the
finite temperature correlators. We do so using a truncated `form-factor'
expansion and so provide evidence that this technique can be successfully
extended to finite temperature. As a direct test, we compute the static
zero-field susceptibility and obtain an exact match to the susceptibility
derived from the low temperature expansion of the exact free energy. We also
study transport properties, computing both the spin conductance and the
NMR-relaxation rate, 1/T_1. We find these quantities to show ballistic
behaviour. In particular, the computed spin conductance exhibits a non-zero
Drude weight at finite temperature and zero applied field. The physics thus
described differs from the spin diffusion reported by Takigawa et al. from
experiments on the Haldane gap material, AgVP_2S_6.
