Books by Logic Colloquium (1997 Leeds, England)