Title: Logic Colloquium '90