Caput Logic, Language and Information 2004/2005; 1st Semester Institute for Logic, Language & Computation Universiteit van Amsterdam