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