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