
 ASL Committee on Logic Education 
  Logic Cafe, online courseware for symbolic logic, developed by John F. Halpin at Oakland University in Michigan. 
  Logic Daemon, a webbased proof checker to accompany Logic Primer, MIT Press, 2000, by Colin Allen and Michael Hand, of Texas A&M. 
  Graphical effects in learning logic: reasoning, representation and individual differences, by Cox, R., and Stenning, K., apparently from a 1994 Cognitive Science Conference; it reports on Hyperproof. 
 www.math.ufl.edu /%7Ejal/asl/logic_education.html (712 words) 
