Quantifiers in Logic and Natural Language (co-taught with Hans Kamp at the IMS in 2002-2003)