Education (Subscribe)
Links
Logic TutorialAn 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 DaemonOn-line proof checker, and texts.
|