ProofWeb Courses, provers from Radboud University Nijmegen, NL. Preprints in Publications
CMU Open Learning Pittsburgh
Logic in Action Amsterdam
Gateway to Logic, logic teaching software from Vienna, Austria.
Peter Smith, An Introduction to Formal Logic, slides.
Curtis Brown, lectures on Logic.
A whole lot of logic books...
Computational Thinking (slides by Brigitte Pientka)
Computational Thinking (oped and slides by J. Wing)
Less relevant to me:
Paul Teller's Logical Primer
Twootie and Bertie software for natural deduction
JAPE (Oxford) seems to be dead?