''WFF 'N PROOF: The Game of Modern Logic''

A game that teaches SymbolicLogic, the rules of inference, logical proof and formal systems.

* http://thinkersleague.law.umich.edu/files/WPGames/WFFNPRUF.htm
* also http://www.wff-n-proof.com/
* http://www.wff-n-proof.com/www-wff-n-proof-com/WFFN-PRF.chk?AOLHelp=43220a4d.7d.6c4.1&ServerName=www.wff-n-proof.com
** (which can be reached at http://tinyurl.com/82tvw)


See also: AutomatedTheoremProving
----
CategoryGame CategoryLogic