Title: Logic Colloquium '96
Subjects: Logic, symbolic and mathematical