Logic Colloquium 2000 (hardcover)