  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.
