Vitalsource Technologies, Inc. Logic Colloquium '02: Lecture Notes In Logic 27