Open Logic Project
Open Source, Customizable, Advanced Logic Text
openlogicproject.org