Well, not so much culture, and not really on straightforward *deductive* logic, and certainly not
about teaching logic to high school kids at all.. but... "Metamath."
You guys may have seen this on Slashdot a while back, but it's worth a look if you're into
mathematical logic.* I've burned a ton of wee morning hours lately poking around in this. Even
listened to a bunch of the proofs-as-music... Cool shit.
* also, over the last couple of years, in my quest to go back to "authoritative sources" on several
things, I've spent some time reading Church and Curry. Much, much denser than the "secondary" stuff
I studied back in the day on the same topics --- classes often used books / note packets written by
the instructors, vain fools all. Check out:
 _Introduction to Mathematical Logic_ by Alonzo Church
 _Foundations of Mathematical Logic_ by Haskell Curry
Also, I've had an out-of-print order / search going on Amazon since Feb. 2000 for either of the
following... If anybody out there has a copy of either you'd like to sell me, lemme know:
 _The Calculi of Lambda Conversion_ by Alonzo Church
 _Combinatory Logic_ by Haskell Curry.
This archive was generated by hypermail 2b29 : Sun May 06 2001 - 08:04:38 PDT