This page is under construction — materials for the course I am teaching this year at the European Summer School in Logic, Language, and Information will be uploaded here shortly.