Hey all... way back in college I had taken a class in logic. stuff like proving theorems using (and it's been a while, so if I mangle this please forgive me) 'modus pollens', 'modus tollens', etc.
i'd like to get back into that a bit, because I remember enjoying it back then, and I think it'd actually be pretty valuable in helping me today as a programmer. Would also like to teach it to some of the jr. programmers I work with. problem is, I'm finding little to nothing online. i'd like to find a decent 'intro' type textbook (something that will refresh my mind on exactly what modus pollens is, for example, and how to use it). Can anybody recommend any good (teaching) books on the subject? Thx! -- Charlie Griefer ================================================ Marta was watching the football game with me when she said, "You know, most of these sports are based on the idea of one group protecting its territory from invasion by another group." "Yeah," I said, trying not to laugh. Girls are funny. ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~| Purchase from House of Fusion, a Macromedia Authorized Affiliate and support the CF community. http://www.houseoffusion.com/banners/view.cfm?bannerid=36 Message: http://www.houseoffusion.com/lists.cfm/link=i:5:133551 Archives: http://www.houseoffusion.com/cf_lists/threads.cfm/5 Subscription: http://www.houseoffusion.com/lists.cfm/link=s:5 Unsubscribe: http://www.houseoffusion.com/cf_lists/unsubscribe.cfm?user=89.70.5 Donations & Support: http://www.houseoffusion.com/tiny.cfm/54
