Set Theory: An Open Introduction is a brief introduction to the philosophy of set theory. It is written for students with a little background in logic, and some high school mathematics. By the end of this book, students reading it might have a sense of:
This repository/directory only contains the LaTeX files and illustrations needed to typeset the textbook Set Theory, which in turn requires the Open Logic Text. Most of the material making up the text comes from Tim Button’s Open Set Theory.
To install and compile:
If you use
git, this should do it:
# git clone https://github.com/OpenLogicProject/OpenLogic.git # cd OpenLogic/courses # git clone https://github.com/OpenLogicProject/set-theory.git # cd ../assets # git clone https://github.com/OpenLogicProject/photos.git
courses/set-theory, you can now compile:
# pdflatex settheory-screen
# make if you have
latexmk installed. (You’ll also have to do
bibtex settheory-screen for the bibliography.)
settheory-screen.tex produces a color version of the text with smaller margins for screen reading.
The file loads
settheory.tex, which contains the actual material. It in turn includes other files, most of them from the
OpenLogic repository. So you won’t get a complete book unless you download into the right subdirectory of and compile from there.
Set Theory by Tim Button is licensed under a Creative Commons Attribution 4.0 International License.