Title: Logic Colloquium '84