Forall x: An Introduction to formal logic
forallx.openlogicproject.org