If you have a real computer, just say make to make the document
(requires latexmk).
Otherwise theory.tex is the top-level file. So pdflatex theory run
enough times so it stops complaining about needing to be rerun will produce
the book (theory.pdf).