Logic Colloquium '03 (Lecture Notes in Logic 24)