Twelfth European Summer School in Logic, Language and Information (ESSLLI-2000).