Sites

Logic Tutorial (Popularity: )
http://logictutorial.com/
An interactive tool teaching basic formal logic, rendering truth tables as clickable Johnston diagrams. With notes on the Buddhist Nagarjuna and modern symbolic logic.

The Logic Daemon (Popularity: )
http://logic.tamu.edu/
On-line proof checker, and texts.