Title: Logic Colloquium 2000
Subjects: Logic, symbolic and mathematical