I know I've got by book somewhere. I'll see if I can find it tonight. --Ben
Charlie Griefer wrote: > 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! > ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~| Purchase from House of Fusion, a Macromedia Authorized Affiliate and support the CF community. http://www.houseoffusion.com/banners/view.cfm?bannerid=35 Message: http://www.houseoffusion.com/lists.cfm/link=i:5:133618 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
