This site contains PDFs built from the source LaTeX files of the most recent version of the Open Logic Project at openlogicproject.org