SamHB
Long rambling comment.
23:16
+2,893
Ed Poor
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? --~~~~
14:17
+247