This repository holds latex code with solutions to some of the exercises from "An Algebraic Introduction to Mathematical Logic" by Barnes and Mack
