Title: Logic Colloquium '87