This page is obsolete! Follow the link to the new homepage http://wiki.helsinki.fi/display/logic.