Mathematical Statistical Mechanics