Cluster expansion methods in rigorous statistical mechanics

This draft is intended to be used as class notes for a grad course on rigorous statistical mechanics at math department of UFMG. It should be considered as a very prelimivary version and a work in progress. Several chapters lack references, exercises, and revision.