Sunday, 21 April, 2019
Logic Tutorial (Popularity: )
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: )
On-line proof checker, and texts.
© 2015 Directory of Science. All Rights Reserved