Title: Logic Colloquium '82