 <A HREF = "http://www.cs.cornell.edu/Info/People/gries/Logic/dimacs.html">Announcement of DIMACS Symposium on teaching logic</A><BR>
