Difference between revisions of "Talk:Boolean algebra"
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? --~~~~) |
(No difference)
|
Revision as of 14:17, December 1, 2008
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? --Ed Poor Talk 09:17, 1 December 2008 (EST)