Logic Colloquium 2000 (hardcover) - heftet, Engelsk, 2005