Logic Colloquium '97 (1997 Leeds, England)