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