2 lines (2 loc) · 166 Bytes

ModelTheory

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