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

Name		Name	Last commit message	Last commit date
Ch1Sec1		Ch1Sec1
Ch1Sec2		Ch1Sec2
Ch2Sec3		Ch2Sec3
Ch2Sec4		Ch2Sec4
Ch3Sec1		Ch3Sec1
Ch3Sec2		Ch3Sec2
Ch4Sec1		Ch4Sec1
Ch4Sec2		Ch4Sec2
Ch4Sec3		Ch4Sec3
Ch4Sec4		Ch4Sec4
.DS_Store		.DS_Store
FreeAlgebra.nb		FreeAlgebra.nb
FreeAlgebra.pdf		FreeAlgebra.pdf
README.md		README.md

Navigation Menu

Repository files navigation

ModelTheory

About

Releases

Packages

Contributors

Languages

Latest commit

History

Folders and files

Repository files navigation

ModelTheory

About

Topics

Resources

Stars

Watchers

Forks

Releases

Packages

Contributors

Languages