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