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