Books by Logic Colloquium '02 (2002 Münster, Germany)