Title: Logic Colloquium '90
Subjects: Symbolic and mathematical Logic, Congresses