ESSLLI XIII - 2001 The 13th Summer School in Logic Language and Information