Text this: Logic colloquium 2000 (hardcover) :