The mathematical framework for the theory of statistical mechanics is a very large and very important branch of mathematical physics and has been major developments in the field. Some of the most important rigorous references are below.

Statistical Mechanics for Mathematicians

  1. Statistical Mechanics A Short Treatise. Giovanni Gallavotti. Springer Verlag, (1999).
  2. Statistical Mechanics of Disorder Systems - A Mathematical Perspective. Anton Bovier. Cambridge Series in Statistical and Probabilistic Mathematics, (2006).
  3. Statistical Mechanics: Rigorous Results. David Ruelle. World Scientific, (1999).
  4. Entropy, Large Deviations, and Statistical Mechanics. Richard S. Ellis. Classics in Mathematics. Springer-Verlag, (2006).
  5. Entropy and equilibrium states in Classical Statistical Mechanics. O.E. Lanford. Lecture notes in Physics, vol. 20, Springer-Verlag, (1973).

Gibbs Measures

  1. Gibbs measures and phase transitions. Hans-Otto Georgii. (2 edition). (2011)
  2. A Course on Large Deviations with an Introduction to Gibbs Measures. Firas Rassoul-Agha and Timo Seppalainen, (2010).

Ising Model

  1. Statistical Mechanics of Lattice Systems: a Concrete Mathematical Introduction. Sacha Friedli and Yvan Velenik, (2017).

Ergodic Theory

  1. An Introduction to Ergodic Theory. P. Walters. (GTM-Springer). (1982)
  2. Ergodic Theory. K. Petersen. (Cambridge Studies in Advances Mathematics 2). (1983)
  3. Topics in Ergodic Theory. W. Parry. (Cambridge Tracts in Mathematics) (1983)
  4. Invitation to Ergodic Theory. C. E. Silva. (Student Mathematical Library vol 42) (AMS). (2007)
  5. An outline of Ergodic Theory. S. Kalikow and R. McCutcheon. (Cambridge Studies in Advances Mathematics). (2010)
  6. Introduction à la théorie ergodique. Thierry de la Rue.
  7. Ergodic Theory: with a view towards Number Theory. Manfred Einsiedler and Thomas Ward. Springer (GTM Vol. 259) (2011).
  8. Dynamical Systems and Ergodic Theory. Lectures Notes of Corinna Ulcigrai (University of Bristol). (2011)

These are books used for undergraduates and graduates courses level and for graduate research level but they also require a high level of mathematical knowledge. Such as measure theory, dynamical theory and other main important fields that display key rules in concepts.