Giters

DavidMeretzky / ModelTheory

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

Repository from Github https://github.comDavidMeretzky/ModelTheoryRepository from Github https://github.comDavidMeretzky/ModelTheory

logicbarnesmack

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

About

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

logicbarnesmack

Languages

Language:Mathematica 53.7%Language:TeX 46.3%