Siteadmin, Check users, nsTeam1RO, nsTeam1RW, nsTeam1_talkRO, nsTeam1_talkRW, oversight, Administrators
30,650
edits
Changes
Jump to navigation
Jump to search
New page: Is it useful in theorem proving? I learned symbolic logic as a teenager, using a game created by a Yale law professor. Ever hear of Wff 'n proof? --~~~~
Is it useful in [[theorem proving]]? I learned symbolic logic as a teenager, using a game created by a Yale law professor. Ever hear of [[Wff 'n proof]]? --[[User:Ed Poor|Ed Poor]] <sup>[[User talk:Ed Poor|Talk]]</sup> 09:17, 1 December 2008 (EST)