Title: Logic Colloquium '80