PHLogicians

SAT Vector Analyzer

Basic Formal Logic (full notes)

Stanford Introduction to Logic